The cow chases the squirrel. The cow chases the tiger. The cow eats the squirrel. The cow is kind. The cow sees the squirrel. The cow sees the tiger. The squirrel does not chase the cow. The squirrel is cold. The squirrel is green. The squirrel sees the cow. The squirrel sees the tiger. The tiger does not chase the squirrel. The tiger is cold. The tiger is nice. The tiger sees the cow. The tiger sees the squirrel. If something is kind then it sees the cow. If the squirrel sees the tiger then the squirrel eats the tiger. If something sees the tiger and the tiger eats the cow then the tiger is blue. If something sees the squirrel then the squirrel sees the cow. If something eats the tiger and the tiger sees the squirrel then the squirrel chases the tiger. If something sees the cow and it is not blue then it sees the squirrel.
The tiger does not eat the tiger.
@0: The cow chases the squirrel.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the squirrel.[(triple3)] The cow is kind.[(triple4)] The cow sees the squirrel.[(triple5)] The cow sees the tiger.[(triple6)] The squirrel does not chase the cow.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel sees the cow.[(triple10 OR ((triple16) -> rule4) OR ((triple5) -> rule4))] The squirrel sees the tiger.[(triple11)] The tiger does not chase the squirrel.[(triple12)] The tiger is cold.[(triple13)] The tiger is nice.[(triple14)] The tiger sees the cow.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The cow sees the cow.[(((triple4) -> rule1))] The squirrel eats the tiger.[(((triple11) -> rule2))] @2: The squirrel chases the tiger.[(((((triple11) -> rule2) triple16) -> rule5))]