The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is nice. The bald eagle needs the dog. The bald eagle needs the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The dog chases the bald eagle. The dog is red. The dog visits the bald eagle. The mouse chases the dog. The mouse is green. The mouse is red. The mouse needs the bald eagle. The mouse visits the bald eagle. The mouse visits the dog. If someone is green and blue then they need the dog. If someone visits the mouse then the mouse is blue.
The mouse does not need the dog.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bald eagle visits the dog.[(triple6)] The bald eagle visits the mouse.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog is red.[(triple9)] The dog visits the bald eagle.[(triple10)] The mouse chases the dog.[(triple11)] The mouse is green.[(triple12)] The mouse is red.[(triple13)] The mouse needs the bald eagle.[(triple14)] The mouse visits the bald eagle.[(triple15)] The mouse visits the dog.[(triple16)] @1: The mouse is blue.[(((triple7) -> rule2))] @2: The mouse needs the dog.[(((triple12 ((triple7) -> rule2)) -> rule1))]