The cat is big. The cat is green. The cat is red. If the cat is not red then the cat is green. Big people are nice. All cold, red people are nice. Cold people are green. If someone is red and big then they are cold. If someone is nice and not red then they are not cold.
The cat chases the cat.
@0: The cat is big.[(triple1)] The cat is green.[(triple2 OR ((((triple3 triple1) -> rule5)) -> rule4))] The cat is red.[(triple3)] @1: The cat is cold.[(((triple3 triple1) -> rule5))] The cat is nice.[(((triple1) -> rule2) OR ((((triple3 triple1) -> rule5) triple3) -> rule3))]