The cat chases the squirrel. The squirrel chases the cat. The squirrel is red. If someone needs the cat then they are red. If someone likes the cat then the cat is not green. If someone chases the cat then they need the cat. If the squirrel does not like the cat then the squirrel chases the cat. If someone chases the squirrel then they chase the cat. If someone is nice and they do not need the cat then the cat is big.
The cat is not nice.
@0: The cat chases the squirrel.[(triple1)] The squirrel chases the cat.[(triple2)] The squirrel is red.[(triple3 OR ((((triple2) -> rule3)) -> rule1))] @1: The cat chases the cat.[(((triple1) -> rule5))] The squirrel needs the cat.[(((triple2) -> rule3))] @2: The cat needs the cat.[(((((triple1) -> rule5)) -> rule3))] @3: The cat is red.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))]