The dog chases the mouse. The dog is big. The dog is green. The dog is red. The dog is rough. The dog is round. The dog needs the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is big. The mouse is green. The mouse is red. The mouse is round. The mouse needs the dog. The mouse does not visit the dog. If something needs the dog and it is round then it is green. If something needs the mouse and the mouse is not big then the mouse is red. If something visits the mouse and the mouse chases the dog then it chases the dog. If something is round then it chases the dog. If the dog needs the mouse and the dog is not big then the mouse does not visit the dog. If the mouse needs the dog then the dog is green. If something visits the dog and the dog visits the mouse then the mouse chases the dog. If something visits the mouse then it needs the dog.
The mouse is not green.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is green.[(triple3 OR ((triple14) -> rule6) OR ((((triple8) -> rule8) triple6) -> rule1))] The dog is red.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog needs the mouse.[(triple7)] The dog visits the mouse.[(triple8)] The mouse chases the dog.[(triple9 OR ((triple13) -> rule4))] The mouse does not visit the dog.[(triple15)] The mouse is big.[(triple10)] The mouse is green.[(triple11 OR ((triple14 triple13) -> rule1))] The mouse is red.[(triple12)] The mouse is round.[(triple13)] The mouse needs the dog.[(triple14)] @1: The dog chases the dog.[(((triple6) -> rule4) OR ((triple8 triple9) -> rule3) OR ((triple8 ((triple13) -> rule4)) -> rule3))] The dog needs the dog.[(((triple8) -> rule8))]