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