The dog chases the mouse. The dog is cold. The dog is rough. The mouse chases the dog. The mouse is blue. The mouse is cold. The mouse is round. The mouse is young. The mouse needs the dog. The mouse visits the dog. If someone chases the dog and they need the dog then they are rough. If someone is cold then they chase the mouse. If someone visits the dog and the dog visits the mouse then the dog needs the mouse. If someone chases the dog and they are rough then the dog visits the mouse. If someone chases the mouse and they are blue then they need the mouse. If someone is round then they chase the mouse.
The dog is not young.
@0: The dog chases the mouse.[(triple1 OR ((triple2) -> rule2))] The dog is cold.[(triple2)] The dog is rough.[(triple3)] The mouse chases the dog.[(triple4)] The mouse is blue.[(triple5)] The mouse is cold.[(triple6)] The mouse is round.[(triple7)] The mouse is young.[(triple8)] The mouse needs the dog.[(triple9)] The mouse visits the dog.[(triple10)] @1: The mouse chases the mouse.[(((triple6) -> rule2) OR ((triple7) -> rule6))] The mouse is rough.[(((triple4 triple9) -> rule1))] @2: The dog visits the mouse.[(((triple4 ((triple4 triple9) -> rule1)) -> rule4))] The mouse needs the mouse.[(((((triple6) -> rule2) triple5) -> rule5) OR ((((triple7) -> rule6) triple5) -> rule5))] @3: The dog needs the mouse.[(((triple10 ((triple4 ((triple4 triple9) -> rule1)) -> rule4)) -> rule3))]