The squirrel likes the tiger. The tiger is cold. If something is young then it chases the tiger. If the squirrel chases the tiger then the squirrel does not see the tiger. If something is cold then it sees the squirrel. If something is round and not cold then it sees the squirrel. If something sees the squirrel then the squirrel chases the tiger. If something likes the squirrel and the squirrel is cold then it is young. If something likes the tiger and the tiger does not see the squirrel then the squirrel likes the tiger. If something chases the squirrel and it is not green then the squirrel likes the tiger.
The squirrel does not see the squirrel.
@0: The squirrel likes the tiger.[(triple1)] The tiger is cold.[(triple2)] @1: The tiger sees the squirrel.[(((triple2) -> rule3))] @2: The squirrel chases the tiger.[(((((triple2) -> rule3)) -> rule5))] @3: The squirrel does not see the tiger.[(((((((triple2) -> rule3)) -> rule5)) -> rule2))]