The cow eats the squirrel. The cow is big. The cow is blue. The cow is cold. The cow is green. The cow is round. The cow likes the squirrel. The cow needs the squirrel. The squirrel eats the cow. The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is round. The squirrel likes the cow. The squirrel needs the cow. If something likes the squirrel then it is round.
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 green.[(triple5)] The cow is round.[(triple6 OR ((triple7) -> rule1))] The cow likes the squirrel.[(triple7)] The cow needs the squirrel.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the cow.[(triple15)] The squirrel needs the cow.[(triple16)]