The dog chases the mouse. The dog is big. The dog is nice. The dog is rough. The dog is round. The dog is young. The dog needs the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is big. The mouse is nice. The mouse is rough. The mouse is round. The mouse is young. The mouse needs the dog. The mouse visits the dog. If someone visits the dog then they need the mouse. If the mouse visits the dog then the mouse chases the dog. If someone is nice then they are round. If someone chases the dog then the dog is rough. If the dog chases the mouse then the dog visits the mouse. If someone is nice and they need the mouse then the mouse chases the dog.
The mouse does not visit the dog.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4 OR ((triple9) -> rule4) OR ((((triple16) -> rule2)) -> rule4) OR ((((triple3 triple7) -> rule6)) -> rule4) OR ((((triple11 ((triple16) -> rule1)) -> rule6)) -> rule4))] The dog is round.[(triple5 OR ((triple3) -> rule3))] The dog is young.[(triple6)] The dog needs the mouse.[(triple7)] The dog visits the mouse.[(triple8 OR ((triple1) -> rule5))] The mouse chases the dog.[(triple9 OR ((triple16) -> rule2) OR ((triple3 triple7) -> rule6) OR ((triple11 ((triple16) -> rule1)) -> rule6))] The mouse is big.[(triple10)] The mouse is nice.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13 OR ((triple11) -> rule3))] The mouse is young.[(triple14)] The mouse needs the dog.[(triple15)] The mouse visits the dog.[(triple16)] @1: The mouse needs the mouse.[(((triple16) -> rule1))]