The bald eagle does not chase the squirrel. The bald eagle is green. The bald eagle visits the mouse. The mouse is red. The mouse likes the squirrel. The mouse visits the bald eagle. The squirrel chases the bald eagle. If someone likes the bald eagle and they are kind then the bald eagle is green. If someone is green and they chase the mouse then they like the squirrel. If the squirrel visits the bald eagle and the bald eagle visits the squirrel then the bald eagle does not chase the squirrel. If someone likes the mouse and they are green then the mouse is not nice. If someone visits the bald eagle then they chase the bald eagle. If someone visits the mouse then they chase the bald eagle. If someone is green and they do not chase the squirrel then the squirrel does not visit the mouse. If someone chases the bald eagle then they are nice.
The bald eagle likes the squirrel.
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse is red.[(triple4)] The mouse likes the squirrel.[(triple5)] The mouse visits the bald eagle.[(triple6)] The squirrel chases the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple3) -> rule6))] The mouse chases the bald eagle.[(((triple6) -> rule5))] The squirrel does not visit the mouse.[(((triple2 triple1) -> rule7))] The squirrel is nice.[(((triple7) -> rule8))] @2: The bald eagle is nice.[(((((triple3) -> rule6)) -> rule8))] The mouse is nice.[(((((triple6) -> rule5)) -> rule8))]