The dog chases the mouse. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog is young. The dog sees the mouse. The dog visits the mouse. The mouse chases the dog. The mouse is green. The mouse is nice. The mouse is not rough. The mouse is young. The mouse does not see the dog. The mouse visits the dog. If something sees the mouse and it is not green then the mouse is young. If the dog is green then the dog visits the mouse. If the mouse is not green then the mouse does not visit the dog.
The dog visits the dog.
@0: The dog chases the mouse.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The dog sees the mouse.[(triple7)] The dog visits the mouse.[(triple8 OR ((triple2) -> rule2))] The mouse chases the dog.[(triple9)] The mouse does not see the dog.[(triple14)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is not rough.[(triple12)] The mouse is young.[(triple13)] The mouse visits the dog.[(triple15)]