The cat is big. The cat is blue. The cat is rough. Big, blue people are kind. If someone is rough then they are kind. If someone is kind and big then they are nice.
The cat does not see the cat.
@0: The cat is big.[(triple1)] The cat is blue.[(triple2)] The cat is rough.[(triple3)] @1: The cat is kind.[(((triple3) -> rule2) OR ((triple1 triple2) -> rule1))] @2: The cat is nice.[(((((triple3) -> rule2) triple1) -> rule3) OR ((((triple1 triple2) -> rule1) triple1) -> rule3))]