The cow chases the squirrel. The cow likes the lion. The lion does not chase the cow. The lion chases the squirrel. The lion does not like the squirrel. The lion does not like the tiger. The lion does not see the cow. The squirrel chases the tiger. The squirrel is not young. The squirrel likes the lion. The tiger is blue. The tiger likes the cow. If someone sees the squirrel then they like the lion. If someone is green then they like the lion. If someone is young and blue then they chase the tiger. If the squirrel is blue then the squirrel sees the cow. If someone likes the tiger then they are not round. If someone is blue then they do not see the squirrel. If someone likes the squirrel then the squirrel likes the cow. If the squirrel chases the tiger and the tiger does not see the squirrel then the tiger likes the squirrel.
The squirrel sees the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow likes the lion.[(triple2)] The lion chases the squirrel.[(triple4)] The lion does not chase the cow.[(triple3)] The lion does not like the squirrel.[(triple5)] The lion does not like the tiger.[(triple6)] The lion does not see the cow.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is not young.[(triple9)] The squirrel likes the lion.[(triple10)] The tiger is blue.[(triple11)] The tiger likes the cow.[(triple12)] @1: The tiger does not see the squirrel.[(((triple11) -> rule6))] @2: The tiger likes the squirrel.[(((triple8 ((triple11) -> rule6)) -> rule8))] @3: The squirrel likes the cow.[(((((triple8 ((triple11) -> rule6)) -> rule8)) -> rule7))]