The bald eagle likes the squirrel. The cow eats the bald eagle. The squirrel is round. If someone likes the squirrel then they eat the squirrel. If someone is round then they do not like the bald eagle. If someone needs the cow and the cow is green then the cow does not eat the squirrel. If the squirrel does not like the bald eagle then the bald eagle does not need the cow. If someone needs the cow then they need the bald eagle. If the bald eagle does not need the cow then the bald eagle likes the cow.
The bald eagle is blue.
@0: The bald eagle likes the squirrel.[(triple1)] The cow eats the bald eagle.[(triple2)] The squirrel is round.[(triple3)] @1: The bald eagle eats the squirrel.[(((triple1) -> rule1))] The squirrel does not like the bald eagle.[(((triple3) -> rule2))] @2: The bald eagle does not need the cow.[(((((triple3) -> rule2)) -> rule4))] @3: The bald eagle likes the cow.[(((((((triple3) -> rule2)) -> rule4)) -> rule6))]