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