The dog chases the mouse. The dog is blue. The dog is green. The dog visits the squirrel. The mouse chases the squirrel. The mouse visits the dog. The mouse visits the squirrel. The squirrel chases the mouse. The squirrel likes the mouse. The squirrel visits the mouse. If something visits the dog and it is red then the dog is nice. If something chases the mouse then the mouse is red. If something visits the mouse then the mouse is red.
The dog does not like the dog.
@0: The dog chases the mouse.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog visits the squirrel.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse visits the dog.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The mouse is red.[(((triple1) -> rule2) OR ((triple10) -> rule3) OR ((triple8) -> rule2))] @2: The dog is nice.[(((triple6 ((triple1) -> rule2)) -> rule1) OR ((triple6 ((triple10) -> rule3)) -> rule1) OR ((triple6 ((triple8) -> rule2)) -> rule1))]