The cow eats the squirrel. The cow is blue. The cow is not green. The cow is nice. The cow is not round. The cow is not young. The cow likes the squirrel. The cow needs the squirrel. The squirrel eats the cow. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the cow. The squirrel does not need the cow. If something eats the squirrel then it likes the squirrel.
The squirrel likes the cow.
@0: The cow eats the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple4)] The cow is not green.[(triple3)] The cow is not round.[(triple5)] The cow is not young.[(triple6)] The cow likes the squirrel.[(triple7 OR ((triple1) -> rule1))] The cow needs the squirrel.[(triple8)] The squirrel does not need the cow.[(triple16)] The squirrel eats the cow.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel is young.[(triple14)] The squirrel likes the cow.[(triple15)]