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