The cow eats the mouse. The cow visits the mouse. The mouse eats the cow. The mouse is kind. The mouse is round. The mouse visits the cow. The mouse visits the squirrel. The squirrel does not eat the cow. The squirrel eats the mouse. The squirrel is kind. The squirrel is red. The squirrel is not rough. The squirrel is round. The squirrel needs the cow. The squirrel does not visit the cow. If the mouse visits the cow and the mouse needs the cow then the cow is kind. If something eats the squirrel then it eats the mouse. If something visits the mouse and the mouse eats the squirrel then the mouse eats the cow. If something eats the mouse and it is not round then it needs the cow. If something visits the squirrel then the squirrel is kind. If something needs the mouse then the mouse does not eat the squirrel. If something is rough then it visits the mouse. If the cow is round then the cow does not visit the mouse.
The mouse does not eat the mouse.
@0: The cow eats the mouse.[(triple1)] The cow visits the mouse.[(triple2)] The mouse eats the cow.[(triple3)] The mouse is kind.[(triple4)] The mouse is round.[(triple5)] The mouse visits the cow.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel does not eat the cow.[(triple8)] The squirrel does not visit the cow.[(triple15)] The squirrel eats the mouse.[(triple9)] The squirrel is kind.[(triple10 OR ((triple7) -> rule5))] The squirrel is not rough.[(triple12)] The squirrel is red.[(triple11)] The squirrel is round.[(triple13)] The squirrel needs the cow.[(triple14)]