The bear chases the squirrel. The cow chases the squirrel. The cow eats the bear. The cow is round. The cow likes the squirrel. The mouse chases the cow. The mouse eats the cow. The mouse is round. The mouse likes the bear. The squirrel chases the bear. The squirrel chases the cow. The squirrel likes the mouse. If someone chases the cow then the cow eats the mouse. If the cow eats the mouse then the mouse is round. If someone likes the mouse then they eat the cow.
The mouse does not like the bear.
@0: The bear chases the squirrel.[(triple1)] The cow chases the squirrel.[(triple2)] The cow eats the bear.[(triple3)] The cow is round.[(triple4)] The cow likes the squirrel.[(triple5)] The mouse chases the cow.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is round.[(triple8 OR ((((triple11) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] The mouse likes the bear.[(triple9)] The squirrel chases the bear.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel likes the mouse.[(triple12)] @1: The cow eats the mouse.[(((triple11) -> rule1) OR ((triple6) -> rule1))] The squirrel eats the cow.[(((triple12) -> rule3))]