The dog is rough. The dog needs the mouse. The dog needs the squirrel. The dog does not visit the squirrel. The dog visits the tiger. The mouse chases the squirrel. The mouse is rough. The squirrel is blue. The squirrel is red. The squirrel needs the tiger. The squirrel visits the mouse. The squirrel visits the tiger. The tiger chases the squirrel. The tiger needs the dog. The tiger does not visit the dog. If something is cold and round then it chases the tiger. If the mouse needs the dog then the dog is round. If something chases the squirrel then the squirrel is red. If something is cold then it needs the dog. If something needs the mouse and it does not visit the mouse then it is cold. If something visits the dog and the dog does not visit the squirrel then the dog is rough. If something needs the mouse then the mouse is cold. If the tiger does not chase the mouse then the mouse chases the tiger.
The mouse does not need the dog.
@0: The dog does not visit the squirrel.[(triple4)] The dog is rough.[(triple1)] The dog needs the mouse.[(triple2)] The dog needs the squirrel.[(triple3)] The dog visits the tiger.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse is rough.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is red.[(triple9 OR ((triple13) -> rule3) OR ((triple6) -> rule3))] The squirrel needs the tiger.[(triple10)] The squirrel visits the mouse.[(triple11)] The squirrel visits the tiger.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger does not visit the dog.[(triple15)] The tiger needs the dog.[(triple14)] @1: The mouse is cold.[(((triple2) -> rule7))] @2: The mouse needs the dog.[(((((triple2) -> rule7)) -> rule4))] @3: The dog is round.[(((((((triple2) -> rule7)) -> rule4)) -> rule2))]