The dog chases the mouse. The dog is blue. The dog is red. The dog is not rough. The dog is young. The dog needs the mouse. The dog sees the mouse. The mouse chases the dog. The mouse is big. The mouse is blue. The mouse is not red. The mouse is not rough. The mouse is young. The mouse does not need the dog. The mouse sees the dog. If someone chases the dog then the dog needs the mouse.
The mouse sees the dog.
@0: The dog chases the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is not rough.[(triple4)] The dog is red.[(triple3)] The dog is young.[(triple5)] The dog needs the mouse.[(triple6 OR ((triple8) -> rule1))] The dog sees the mouse.[(triple7)] The mouse chases the dog.[(triple8)] The mouse does not need the dog.[(triple14)] The mouse is big.[(triple9)] The mouse is blue.[(triple10)] The mouse is not red.[(triple11)] The mouse is not rough.[(triple12)] The mouse is young.[(triple13)] The mouse sees the dog.[(triple15)]