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