The bald eagle visits the bear. The bear is not cold. The lion likes the bear. The tiger visits the bald eagle. If someone needs the lion then they visit the bear. If the bald eagle likes the tiger then the bald eagle visits the tiger. If someone visits the bald eagle then they are cold.
The bald eagle does not visit the bear.
@0: The bald eagle visits the bear.[(triple1)] The bear is not cold.[(triple2)] The lion likes the bear.[(triple3)] The tiger visits the bald eagle.[(triple4)] @1: The tiger is cold.[(((triple4) -> rule3))]