The cow chases the squirrel. The cow chases the tiger. The cow is blue. The cow is cold. The cow sees the squirrel. The squirrel is cold. The squirrel is red. The squirrel likes the cow. The squirrel sees the tiger. The tiger is blue. The tiger likes the cow. The tiger sees the squirrel. If something sees the squirrel then it sees the cow. If something chases the tiger and the tiger likes the squirrel then it likes the tiger. If something is cold and it chases the tiger then it likes the cow. All red things are nice. If something is nice and it chases the squirrel then the squirrel is nice. If the tiger is nice then the tiger chases the squirrel. If something is round then it is red. If something likes the cow and it sees the squirrel then the squirrel sees the cow.
The tiger does not like the tiger.
@0: The cow chases the squirrel.[(triple1)] The cow chases the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the cow.[(triple8)] The squirrel sees the tiger.[(triple9)] The tiger is blue.[(triple10)] The tiger likes the cow.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The cow likes the cow.[(((triple4 triple2) -> rule3))] The cow sees the cow.[(((triple5) -> rule1))] The squirrel is nice.[(((triple7) -> rule4))] The squirrel sees the cow.[(((triple11 triple12) -> rule8) OR ((((triple4 triple2) -> rule3) triple5) -> rule8))] The tiger sees the cow.[(((triple12) -> rule1))]