The dog chases the mouse. The dog is big. The dog is nice. The dog is rough. The dog needs the mouse. The dog visits the mouse. The mouse is big. The mouse is cold. The mouse is nice. The mouse needs the dog. If someone needs the mouse then the mouse visits the dog. If someone visits the dog and they are blue then they chase the mouse. If someone needs the mouse then the mouse is blue. If someone is rough then they chase the dog. If the mouse chases the dog and the dog is rough then the mouse visits the dog. If the dog is blue and the dog chases the mouse then the mouse chases the dog. If someone needs the dog and they chase the dog then the dog visits the mouse. If the dog is rough and the dog is big then the dog visits the mouse.
The mouse does not chase the dog.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog needs the mouse.[(triple5)] The dog visits the mouse.[(triple6 OR ((triple4 triple2) -> rule8))] The mouse is big.[(triple7)] The mouse is cold.[(triple8)] The mouse is nice.[(triple9)] The mouse needs the dog.[(triple10)] @1: The dog chases the dog.[(((triple4) -> rule4))] The mouse is blue.[(((triple5) -> rule3))] The mouse visits the dog.[(((triple5) -> rule1))] @2: The mouse chases the mouse.[(((((triple5) -> rule1) ((triple5) -> rule3)) -> rule2))]