The dog chases the mouse. The dog does not eat the mouse. The dog is green. The dog is kind. The dog is not nice. The dog is rough. The dog is not round. The dog visits the mouse. The mouse chases the dog. The mouse eats the dog. The mouse is green. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is round. The mouse visits the dog. If the dog is not rough then the dog is green. If the mouse is green then the mouse eats the dog. If someone visits the dog and they are not rough then the dog chases the mouse. If the dog visits the mouse and the dog does not eat the mouse then the mouse chases the dog. If someone chases the dog and the dog is nice then the dog does not visit the mouse. If someone visits the dog and the dog chases the mouse then the dog visits the mouse. If someone is kind and they do not chase the mouse then they visit the mouse. If someone eats the dog then they visit the mouse.
The dog does not visit the dog.
@0: The dog chases the mouse.[(triple1)] The dog does not eat the mouse.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is not nice.[(triple5)] The dog is not round.[(triple7)] The dog is rough.[(triple6)] The dog visits the mouse.[(triple8 OR ((triple16 triple1) -> rule6))] The mouse chases the dog.[(triple9 OR ((triple8 triple2) -> rule4) OR ((((triple16 triple1) -> rule6) triple2) -> rule4))] The mouse eats the dog.[(triple10 OR ((triple11) -> rule2))] The mouse is green.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse is rough.[(triple14)] The mouse is round.[(triple15)] The mouse visits the dog.[(triple16)] @1: The mouse visits the mouse.[(((triple10) -> rule8) OR ((((triple11) -> rule2)) -> rule8))]