The dog chases the mouse. The dog is green. The dog is red. The dog is young. The dog visits the mouse. The mouse chases the dog. The mouse is cold. The mouse is red. The mouse sees the dog. The mouse visits the dog. If something sees the mouse and it visits the mouse then it is not red. If something visits the mouse then it is cold. If something visits the dog then the dog chases the mouse. If the dog is green then the dog visits the mouse. If something chases the dog and the dog is young then the dog is cold. If something sees the mouse and it does not visit the mouse then it is nice.
The dog is not young.
@0: The dog chases the mouse.[(triple1 OR ((triple10) -> rule3))] The dog is green.[(triple2)] The dog is red.[(triple3)] The dog is young.[(triple4)] The dog visits the mouse.[(triple5 OR ((triple2) -> rule4))] The mouse chases the dog.[(triple6)] The mouse is cold.[(triple7)] The mouse is red.[(triple8)] The mouse sees the dog.[(triple9)] The mouse visits the dog.[(triple10)] @1: The dog is cold.[(((triple5) -> rule2) OR ((triple6 triple4) -> rule5) OR ((((triple2) -> rule4)) -> rule2))]