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