The cat is big. The cat is cold. The cat is red. The cat is round. The cat is young. If something is round then it is young. If the cat is big and the cat is round then the cat is young. If something is red then it is cold. All round, cold things are young. If the cat is young then the cat is red. If something is cold then it is young.
The cat is not young.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2 OR ((triple3) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((triple1 triple4) -> rule2)) -> rule5)) -> rule3))] The cat is red.[(triple3 OR ((triple5) -> rule5) OR ((((triple2) -> rule6)) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple1 triple4) -> rule2)) -> rule5) OR ((((triple4 triple2) -> rule4)) -> rule5))] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple2) -> rule6) OR ((triple4) -> rule1) OR ((triple1 triple4) -> rule2) OR ((triple4 triple2) -> rule4) OR ((((triple3) -> rule3)) -> rule6) OR ((triple4 ((triple3) -> rule3)) -> rule4))]