You are told that Tom is older than John. Next you are told that Mike is older than Tom. Deriving that Tom is younger than Mike is an example of which of the following types of relations? Group of answer choices Symmetry Mutual entailment Transitivity Combinatorial mutual entailment