The dog is rough. The dog is not young. The mouse does not like the dog. The mouse sees the dog. The mouse sees the tiger. The rabbit sees the dog. The tiger visits the rabbit. If something visits the tiger and it does not see the tiger then it sees the rabbit. If something sees the dog then the dog visits the rabbit. If something sees the mouse then it likes the rabbit. If something visits the rabbit then it visits the mouse. If something is young and it does not see the tiger then it does not visit the tiger. If something visits the rabbit then it does not like the tiger. If the mouse visits the rabbit and the rabbit is blue then the mouse is not big. If something visits the mouse then the mouse is rough.
The mouse does not see the dog.
@0: The dog is not young.[(triple2)] The dog is rough.[(triple1)] The mouse does not like the dog.[(triple3)] The mouse sees the dog.[(triple4)] The mouse sees the tiger.[(triple5)] The rabbit sees the dog.[(triple6)] The tiger visits the rabbit.[(triple7)] @1: The dog visits the rabbit.[(((triple4) -> rule2) OR ((triple6) -> rule2))] The tiger does not like the tiger.[(((triple7) -> rule6))] The tiger visits the mouse.[(((triple7) -> rule4))] @2: The dog does not like the tiger.[(((((triple4) -> rule2)) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] The dog visits the mouse.[(((((triple4) -> rule2)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] The mouse is rough.[(((((triple7) -> rule4)) -> rule8) OR ((((((triple4) -> rule2)) -> rule4)) -> rule8) OR ((((((triple6) -> rule2)) -> rule4)) -> rule8))]