The bear eats the cow. The bear eats the mouse. The bear eats the squirrel. The cow eats the bear. The cow eats the mouse. The cow is nice. The cow is rough. The cow visits the mouse. The cow visits the squirrel. The mouse eats the cow. The mouse eats the squirrel. The mouse is big. The squirrel chases the cow. The squirrel is big. The squirrel is nice. If something is rough and it chases the bear then it is round. If something eats the mouse then it is nice. If something eats the bear and it is young then the bear is rough.
The cow is not rough.
@0: The bear eats the cow.[(triple1)] The bear eats the mouse.[(triple2)] The bear eats the squirrel.[(triple3)] The cow eats the bear.[(triple4)] The cow eats the mouse.[(triple5)] The cow is nice.[(triple6 OR ((triple5) -> rule2))] The cow is rough.[(triple7)] The cow visits the mouse.[(triple8)] The cow visits the squirrel.[(triple9)] The mouse eats the cow.[(triple10)] The mouse eats the squirrel.[(triple11)] The mouse is big.[(triple12)] The squirrel chases the cow.[(triple13)] The squirrel is big.[(triple14)] The squirrel is nice.[(triple15)] @1: The bear is nice.[(((triple2) -> rule2))]