The cow likes the tiger. The cow visits the mouse. The cow visits the squirrel. The mouse is big. The mouse is rough. The mouse needs the cow. The mouse visits the tiger. The squirrel needs the cow. The squirrel needs the tiger. The squirrel visits the mouse. The squirrel visits the tiger. The tiger is rough. If something needs the tiger then the tiger visits the mouse. If something needs the tiger and it visits the cow then it likes the squirrel. If the cow visits the squirrel then the squirrel likes the tiger. If something needs the cow then it likes the tiger. If something needs the tiger and it needs the cow then the cow visits the mouse. If something is green then it visits the mouse. If something is round and it likes the squirrel then it visits the squirrel. If the mouse needs the tiger then the tiger needs the cow.
The tiger does not like the tiger.
@0: The cow likes the tiger.[(triple1)] The cow visits the mouse.[(triple2 OR ((triple9 triple8) -> rule5))] The cow visits the squirrel.[(triple3)] The mouse is big.[(triple4)] The mouse is rough.[(triple5)] The mouse needs the cow.[(triple6)] The mouse visits the tiger.[(triple7)] The squirrel needs the cow.[(triple8)] The squirrel needs the tiger.[(triple9)] The squirrel visits the mouse.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger is rough.[(triple12)] @1: The mouse likes the tiger.[(((triple6) -> rule4))] The squirrel likes the tiger.[(((triple3) -> rule3) OR ((triple8) -> rule4))] The tiger visits the mouse.[(((triple9) -> rule1))]