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