#formal logic #deduction #logical structure #premise #conclusion #reasoning #hypothetical syllogism #transitive property