The dog eats the mouse. The dog is blue. The dog is not green. The dog is not kind. The dog is not nice. The dog does not like the mouse. The dog does not visit the mouse. The mouse is big. The mouse is not green. The mouse is nice. If something visits the dog then the dog does not like the mouse. If the dog eats the mouse then the mouse is blue. If something eats the mouse then it visits the dog. If something eats the mouse then it visits the dog. If the dog is big then the dog eats the mouse. If something is big and blue then it eats the mouse. If something visits the mouse and the mouse visits the dog then it is kind. If something is big and it does not visit the dog then the dog visits the mouse.
The mouse does not eat the dog.
@0: The dog does not like the mouse.[(triple6 OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule4)) -> rule1) OR ((((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule3)) -> rule1) OR ((((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule4)) -> rule1))] The dog does not visit the mouse.[(triple7)] The dog eats the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is not green.[(triple3)] The dog is not kind.[(triple4)] The dog is not nice.[(triple5)] The mouse is big.[(triple8)] The mouse is nice.[(triple10)] The mouse is not green.[(triple9)] @1: The dog visits the dog.[(((triple1) -> rule3) OR ((triple1) -> rule4))] The mouse is blue.[(((triple1) -> rule2))] @2: The mouse eats the mouse.[(((triple8 ((triple1) -> rule2)) -> rule6))] @3: The mouse visits the dog.[(((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 ((triple1) -> rule2)) -> rule6)) -> rule4))]