The cow eats the tiger. The cow is round. The cow sees the mouse. The mouse is rough. The squirrel does not chase the cow. The squirrel chases the tiger. The squirrel does not eat the cow. The squirrel eats the mouse. The squirrel does not eat the tiger. The squirrel sees the tiger. The tiger chases the cow. The tiger eats the cow. If something sees the squirrel then it eats the tiger. If something eats the tiger then the tiger is not rough. If something eats the squirrel then it does not eat the cow.
The mouse does not eat the tiger.
@0: The cow eats the tiger.[(triple1)] The cow is round.[(triple2)] The cow sees the mouse.[(triple3)] The mouse is rough.[(triple4)] The squirrel chases the tiger.[(triple6)] The squirrel does not chase the cow.[(triple5)] The squirrel does not eat the cow.[(triple7)] The squirrel does not eat the tiger.[(triple9)] The squirrel eats the mouse.[(triple8)] The squirrel sees the tiger.[(triple10)] The tiger chases the cow.[(triple11)] The tiger eats the cow.[(triple12)] @1: The tiger is not rough.[(((triple1) -> rule2))]