The bald eagle chases the mouse. The bald eagle chases the squirrel. The bald eagle needs the cow. The cow is big. The cow is blue. The cow is cold. The mouse eats the bald eagle. The mouse is kind. The squirrel chases the mouse. The squirrel is cold. If someone is big then they need the bald eagle. If someone eats the cow then the cow is green. If someone eats the bald eagle then the bald eagle eats the mouse. If the bald eagle chases the mouse then the bald eagle is kind. If someone is green then they chase the cow. If someone is cold and they need the bald eagle then they eat the cow. If someone chases the cow then the cow needs the mouse.
The squirrel does not eat the cow.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle needs the cow.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5)] The cow is cold.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse is kind.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is cold.[(triple10)] @1: The bald eagle eats the mouse.[(((triple7) -> rule3))] The bald eagle is kind.[(((triple1) -> rule4))] The cow needs the bald eagle.[(((triple4) -> rule1))] @2: The cow eats the cow.[(((triple6 ((triple4) -> rule1)) -> rule6))] @3: The cow is green.[(((((triple6 ((triple4) -> rule1)) -> rule6)) -> rule2))] @4: The cow chases the cow.[(((((((triple6 ((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5))] @5: The cow needs the mouse.[(((((((((triple6 ((triple4) -> rule1)) -> rule6)) -> rule2)) -> rule5)) -> rule7))]