The bald eagle eats the bear. The bear likes the cow. The cow is round. The squirrel is round. If something is nice then it likes the bald eagle. If something needs the bear and it is cold then it does not eat the cow. If something likes the bald eagle and the bald eagle does not need the squirrel then it is kind. If something is cold then it eats the squirrel. If the cow is round then the cow is nice. If something is cold and it does not like the bear then it eats the bald eagle. If something eats the bald eagle then the bald eagle needs the bear. If something needs the cow then the cow likes the squirrel.
The cow is round.
@0: The bald eagle eats the bear.[(triple1)] The bear likes the cow.[(triple2)] The cow is round.[(triple3)] The squirrel is round.[(triple4)] @1: The cow is nice.[(((triple3) -> rule5))] @2: The cow likes the bald eagle.[(((((triple3) -> rule5)) -> rule1))]