The cat is big. The cat is red. The cat is rough. All red people are big. Red, round people are big. If someone is round and not blue then they are big. If the cat is red and the cat is big then the cat is round. If the cat is blue then the cat is not rough. If someone is round and not big then they are rough.
The cat does not like the cat.
@0: The cat is big.[(triple1 OR ((triple2) -> rule1))] The cat is red.[(triple2)] The cat is rough.[(triple3)] @1: The cat is round.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule1)) -> rule4))]