The cow eats the squirrel. The cow is green. The cow is nice. The cow needs the squirrel. The cow sees the dog. The cow sees the squirrel. The dog is nice. The dog needs the squirrel. The dog sees the cow. The squirrel eats the cow. The squirrel eats the dog. The squirrel is cold. The squirrel is green. The squirrel needs the cow. The squirrel sees the cow. If someone is nice then they see the dog. If someone sees the dog then they eat the squirrel.
The dog eats the squirrel.
@0: The cow eats the squirrel.[(triple1 OR ((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The cow is green.[(triple2)] The cow is nice.[(triple3)] The cow needs the squirrel.[(triple4)] The cow sees the dog.[(triple5 OR ((triple3) -> rule1))] The cow sees the squirrel.[(triple6)] The dog is nice.[(triple7)] The dog needs the squirrel.[(triple8)] The dog sees the cow.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel eats the dog.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The dog sees the dog.[(((triple7) -> rule1))] @2: The dog eats the squirrel.[(((((triple7) -> rule1)) -> rule2))]