The bald eagle eats the squirrel. The bald eagle is not young. The bald eagle sees the cow. The cow eats the squirrel. The cow is not young. The squirrel chases the bald eagle. The squirrel sees the bald eagle. If someone eats the cow then the cow is not green. If someone sees the cow then the cow is red. If someone is red then they see the bald eagle. If someone sees the bald eagle then they do not see the squirrel. All young people are cold. If someone is red then they chase the squirrel. If someone chases the bald eagle then they are green. If someone is green and they do not eat the bald eagle then the bald eagle does not chase the cow.
The bald eagle does not chase the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is not young.[(triple2)] The bald eagle sees the cow.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is not young.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7)] @1: The cow is red.[(((triple3) -> rule2))] The squirrel does not see the squirrel.[(((triple7) -> rule4))] The squirrel is green.[(((triple6) -> rule7))] @2: The cow chases the squirrel.[(((((triple3) -> rule2)) -> rule6))] The cow sees the bald eagle.[(((((triple3) -> rule2)) -> rule3))] @3: The cow does not see the squirrel.[(((((((triple3) -> rule2)) -> rule3)) -> rule4))]