The cow eats the squirrel. The cow is big. The cow is green. The cow likes the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is not big. The squirrel is kind. The squirrel likes the cow. The squirrel visits the cow. If something is green then it visits the cow. If the cow likes the squirrel then the squirrel eats the cow. If something eats the squirrel then the squirrel visits the cow.
The squirrel is big.
@0: The cow eats the squirrel.[(triple1)] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow likes the squirrel.[(triple4)] The cow visits the squirrel.[(triple5)] The squirrel eats the cow.[(triple6 OR ((triple4) -> rule2))] The squirrel is kind.[(triple8)] The squirrel is not big.[(triple7)] The squirrel likes the cow.[(triple9)] The squirrel visits the cow.[(triple10 OR ((triple1) -> rule3))] @1: The cow visits the cow.[(((triple3) -> rule1))]