The cow does not eat the squirrel. The cow is cold. The cow is not green. The cow is red. The cow is round. The cow is young. The cow sees the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is not green. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel does not see the cow. The squirrel visits the cow. If something eats the squirrel then it is red. If something is cold then it eats the cow. If something visits the squirrel then it eats the cow. If the squirrel does not eat the cow then the squirrel sees the cow. If something visits the cow and the cow eats the squirrel then the cow sees the squirrel. If something eats the cow and it does not see the cow then it visits the cow. If something visits the cow and it eats the squirrel then it sees the squirrel. If the cow is young and the cow does not see the squirrel then the cow is red.
The squirrel does not see the squirrel.
@0: The cow does not eat the squirrel.[(triple1)] The cow is cold.[(triple2)] The cow is not green.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow sees the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The squirrel does not see the cow.[(triple14)] The squirrel eats the cow.[(triple9)] The squirrel is not green.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel visits the cow.[(triple15 OR ((triple9 triple14) -> rule6))] @1: The cow eats the cow.[(((triple2) -> rule2) OR ((triple8) -> rule3))]