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