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