The cat is blue. The cat is red. The cat is rough. The cat is round. The cat is young. If someone is blue and young then they are round. If someone is blue then they are rough. If someone is red then they are young.
The cat is young.
@0: The cat is blue.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3 OR ((triple1) -> rule2))] The cat is round.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple2) -> rule3)) -> rule1))] The cat is young.[(triple5 OR ((triple2) -> rule3))]