The bald eagle is not green. The bald eagle likes the tiger. The cow eats the bald eagle. The cow does not like the tiger. The cow does not need the bald eagle. The tiger is cold. The tiger needs the bald eagle. If something is cold then it eats the bald eagle.
The bald eagle does not like the tiger.
@0: The bald eagle is not green.[(triple1)] The bald eagle likes the tiger.[(triple2)] The cow does not like the tiger.[(triple4)] The cow does not need the bald eagle.[(triple5)] The cow eats the bald eagle.[(triple3)] The tiger is cold.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The tiger eats the bald eagle.[(((triple6) -> rule1))]