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