The bald eagle is cold. The cow needs the bald eagle. The dog is blue. The squirrel is round. If someone needs the bald eagle then they are not blue. If someone likes the squirrel then the squirrel is not green. If someone is green then they do not chase the squirrel. If someone needs the dog then the dog likes the squirrel. If the dog likes the squirrel and the dog is cold then the squirrel likes the cow. If someone needs the squirrel then they are green. If someone is blue then they need the squirrel. If someone is nice and not blue then they chase the dog.
The bald eagle is not cold.
@0: The bald eagle is cold.[(triple1)] The cow needs the bald eagle.[(triple2)] The dog is blue.[(triple3)] The squirrel is round.[(triple4)] @1: The cow is not blue.[(((triple2) -> rule1))] The dog needs the squirrel.[(((triple3) -> rule7))] @2: The dog is green.[(((((triple3) -> rule7)) -> rule6))] @3: The dog does not chase the squirrel.[(((((((triple3) -> rule7)) -> rule6)) -> rule3))]