The bald eagle is blue. The bald eagle visits the squirrel. The cat eats the bald eagle. The cat eats the squirrel. The squirrel needs the cat. The squirrel visits the bald eagle. The tiger is blue. If someone eats the squirrel then they are blue.
The bald eagle is not green.
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the squirrel.[(triple4)] The squirrel needs the cat.[(triple5)] The squirrel visits the bald eagle.[(triple6)] The tiger is blue.[(triple7)] @1: The cat is blue.[(((triple4) -> rule1))]