The cow eats the squirrel. The cow likes the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel likes the cow. The squirrel visits the cow. If someone eats the cow and they are nice then the cow eats the squirrel.
The squirrel eats the cow.
@0: The cow eats the squirrel.[(triple1 OR ((triple4 triple7) -> rule1))] The cow likes the squirrel.[(triple2)] The cow visits the squirrel.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel likes the cow.[(triple9)] The squirrel visits the cow.[(triple10)]