The cow eats the rabbit. The cow is not green. The cow is not kind. The cow is rough. The cow sees the squirrel. The cow sees the tiger. The cow visits the rabbit. The rabbit eats the cow. The rabbit does not visit the cow. The squirrel eats the cow. The squirrel sees the tiger. The tiger is green. The tiger is round. The tiger does not see the cow. The tiger sees the squirrel. If something eats the rabbit then the rabbit does not visit the squirrel.
The tiger visits the squirrel.
@0: The cow eats the rabbit.[(triple1)] The cow is not green.[(triple2)] The cow is not kind.[(triple3)] The cow is rough.[(triple4)] The cow sees the squirrel.[(triple5)] The cow sees the tiger.[(triple6)] The cow visits the rabbit.[(triple7)] The rabbit does not visit the cow.[(triple9)] The rabbit eats the cow.[(triple8)] The squirrel eats the cow.[(triple10)] The squirrel sees the tiger.[(triple11)] The tiger does not see the cow.[(triple14)] The tiger is green.[(triple12)] The tiger is round.[(triple13)] The tiger sees the squirrel.[(triple15)] @1: The rabbit does not visit the squirrel.[(((triple1) -> rule1))]