The bald eagle visits the cat. The bear likes the bald eagle. The bear visits the squirrel. The cat eats the bald eagle. The squirrel is red. The squirrel likes the bear. The squirrel visits the bear. If the squirrel eats the cat and the cat likes the squirrel then the cat visits the bald eagle. If something eats the cat and the cat eats the bear then the bear likes the bald eagle. If something is blue and cold then it is red. If something is cold then it eats the bear. If something eats the squirrel then the squirrel likes the cat. If something likes the bald eagle then the bald eagle is cold. If something eats the cat and the cat eats the bear then the cat visits the squirrel. If something eats the bear and the bear eats the squirrel then the bear is blue.
The bald eagle is not cold.
@0: The bald eagle visits the cat.[(triple1)] The bear likes the bald eagle.[(triple2)] The bear visits the squirrel.[(triple3)] The cat eats the bald eagle.[(triple4)] The squirrel is red.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel visits the bear.[(triple7)] @1: The bald eagle is cold.[(((triple2) -> rule6))] @2: The bald eagle eats the bear.[(((((triple2) -> rule6)) -> rule4))]