The cat is blue. The cat is nice. The cat is red. The cat is rough. The cat is round. Nice, blue people are rough. Nice people are blue. All red, nice people are round.
The cat does not like the cat.
@0: The cat is blue.[(triple1 OR ((triple2) -> rule2))] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1))] The cat is round.[(triple5 OR ((triple3 triple2) -> rule3))]