Give an example of a truth-functional syllogism.