The cat chases the dog. The cat chases the mouse. The cat eats the mouse. The cat visits the dog. The dog chases the mouse. The dog eats the cat. The dog does not eat the mouse. The dog is not blue. The dog is kind. The dog is nice. The dog visits the cat. The mouse chases the cat. The mouse does not eat the cat. The mouse is blue. The mouse is rough. The mouse is not young. If something chases the mouse and the mouse visits the cat then the cat does not eat the dog. If something chases the cat then it visits the cat. If something is rough and it chases the cat then it visits the mouse. If the dog eats the mouse and the dog chases the mouse then the dog does not chase the cat. If something visits the cat and the cat visits the dog then it chases the dog. If something chases the mouse and it is not nice then the mouse does not visit the cat. If the mouse chases the dog then the mouse visits the dog. If the mouse is rough and the mouse does not visit the cat then the mouse chases the dog.
The dog does not chase the cat.
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat eats the mouse.[(triple3)] The cat visits the dog.[(triple4)] The dog chases the mouse.[(triple5)] The dog does not eat the mouse.[(triple7)] The dog eats the cat.[(triple6)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog is not blue.[(triple8)] The dog visits the cat.[(triple11)] The mouse chases the cat.[(triple12)] The mouse does not eat the cat.[(triple13)] The mouse is blue.[(triple14)] The mouse is not young.[(triple16)] The mouse is rough.[(triple15)] @1: The dog chases the dog.[(((triple11 triple4) -> rule5))] The mouse visits the cat.[(((triple12) -> rule2))] The mouse visits the mouse.[(((triple15 triple12) -> rule3))] @2: The cat does not eat the dog.[(((triple2 ((triple12) -> rule2)) -> rule1) OR ((triple5 ((triple12) -> rule2)) -> rule1))] The mouse chases the dog.[(((((triple12) -> rule2) triple4) -> rule5))] @3: The mouse visits the dog.[(((((((triple12) -> rule2) triple4) -> rule5)) -> rule7))]