The dog chases the mouse. The dog is big. The dog is not green. The dog is nice. The dog is red. The dog sees 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 nice. The mouse is red. The mouse sees the dog. The mouse visits the dog. If the mouse visits the dog and the mouse is big then the mouse chases the dog. If the mouse is big then the mouse chases the dog. If someone sees the dog and they do not visit the dog then the dog is not red. If someone sees the mouse and they do not chase the mouse then they are not big. If the dog chases the mouse and the dog does not visit the mouse then the mouse is not big. If someone visits the mouse and they see the dog then the mouse is not green.
The mouse does not visit the dog.
@0: The dog chases the mouse.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple4)] The dog is not green.[(triple3)] The dog is red.[(triple5)] The dog sees the mouse.[(triple6)] The dog visits the mouse.[(triple7)] The mouse chases the dog.[(triple8 OR ((triple9) -> rule2) OR ((triple15 triple9) -> rule1))] The mouse is big.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple12)] The mouse is not green.[(triple11)] The mouse is red.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the dog.[(triple15)]