Conclusion based on strict logical reasoning