The bald eagle chases the dog. The bald eagle is cold. The bald eagle is green. The bald eagle sees the mouse. The bald eagle does not visit the dog. The bald eagle visits the mouse. The dog is big. The dog is blue. The dog is cold. The dog sees the bald eagle. The mouse chases the bald eagle. The mouse is big. The mouse is not blue. The mouse does not see the dog. The mouse does not visit the bald eagle. If the mouse is cold and the mouse does not visit the dog then the mouse chases the dog. If the mouse visits the bald eagle then the bald eagle is not blue. If someone is cold then they see the mouse. If someone is red and they do not see the dog then they are cold. If the dog visits the mouse and the bald eagle does not visit the dog then the bald eagle visits the mouse. If someone sees the bald eagle then they are red. If someone is big and they do not see the dog then the dog does not chase the mouse. If the bald eagle visits the mouse and the bald eagle does not visit the dog then the mouse is red.
The dog sees the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not visit the dog.[(triple5)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the mouse.[(triple4 OR ((triple2) -> rule3))] The bald eagle visits the mouse.[(triple6)] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog sees the bald eagle.[(triple10)] The mouse chases the bald eagle.[(triple11)] The mouse does not see the dog.[(triple14)] The mouse does not visit the bald eagle.[(triple15)] The mouse is big.[(triple12)] The mouse is not blue.[(triple13)] @1: The dog does not chase the mouse.[(((triple12 triple14) -> rule7))] The dog is red.[(((triple10) -> rule6))] The dog sees the mouse.[(((triple9) -> rule3))] The mouse is red.[(((triple6 triple5) -> rule8))] @2: The mouse is cold.[(((((triple6 triple5) -> rule8) triple14) -> rule4))] @3: The mouse sees the mouse.[(((((((triple6 triple5) -> rule8) triple14) -> rule4)) -> rule3))]