The cow is rough. The cow needs the mouse. The cow needs the tiger. The cow visits the mouse. The mouse is nice. The mouse is red. The mouse is rough. The mouse likes the cow. The mouse likes the tiger. The mouse needs the tiger. The mouse visits the tiger. The tiger is nice. The tiger is round. The tiger needs the cow. The tiger visits the cow. The tiger visits the mouse. If something likes the mouse then the mouse likes the tiger. If something needs the mouse then it visits the mouse. If something needs the tiger and it visits the cow then the tiger likes the cow. If something is red then it needs the mouse. If something likes the cow then the cow needs the tiger. If something visits the tiger then the tiger likes the mouse. If something likes the mouse and the mouse needs the tiger then it needs the tiger. If something needs the mouse and it likes the mouse then it likes the tiger.
The tiger does not need the tiger.
@0: The cow is rough.[(triple1)] The cow needs the mouse.[(triple2)] The cow needs the tiger.[(triple3 OR ((triple8) -> rule5) OR ((((((((triple11) -> rule6) triple10) -> rule7) triple15) -> rule3)) -> rule5))] The cow visits the mouse.[(triple4 OR ((triple2) -> rule2))] The mouse is nice.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the cow.[(triple8)] The mouse likes the tiger.[(triple9 OR ((((triple11) -> rule6)) -> rule1))] The mouse needs the tiger.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger is nice.[(triple12)] The tiger is round.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The mouse needs the mouse.[(((triple6) -> rule4))] The tiger likes the mouse.[(((triple11) -> rule6))] @2: The mouse visits the mouse.[(((((triple6) -> rule4)) -> rule2))] The tiger needs the tiger.[(((((triple11) -> rule6) triple10) -> rule7))] @3: The tiger likes the cow.[(((((((triple11) -> rule6) triple10) -> rule7) triple15) -> rule3))]