The bald eagle does not chase the rabbit. The cow chases the squirrel. The rabbit is red. The squirrel chases the cow. If something chases the cow then the cow is not cold.
The cow is not cold.
@0: The bald eagle does not chase the rabbit.[(triple1)] The cow chases the squirrel.[(triple2)] The rabbit is red.[(triple3)] The squirrel chases the cow.[(triple4)] @1: The cow is not cold.[(((triple4) -> rule1))]