The cat does not see the lion. The lion eats the cat. The squirrel eats the cat. The tiger eats the lion. If something needs the squirrel then it sees the tiger. If the tiger needs the squirrel and the squirrel sees the tiger then the squirrel is blue. If something eats the lion then it needs the squirrel. If something needs the squirrel and the squirrel does not need the cat then the squirrel eats the lion. If something eats the lion then it is big. If something needs the cat and the cat is not blue then the cat is rough.
The lion sees the cat.
@0: The cat does not see the lion.[(triple1)] The lion eats the cat.[(triple2)] The squirrel eats the cat.[(triple3)] The tiger eats the lion.[(triple4)] @1: The tiger is big.[(((triple4) -> rule5))] The tiger needs the squirrel.[(((triple4) -> rule3))] @2: The tiger sees the tiger.[(((((triple4) -> rule3)) -> rule1))]