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