The bald eagle is cold. The bald eagle sees the cow. The cow is blue. The cow likes the bald eagle. The cow visits the bald eagle. The lion is red. The lion visits the bald eagle. If something sees the cow then it sees the bald eagle. If something sees the lion and it is kind then it visits the lion.
The bald eagle is not cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow is blue.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow visits the bald eagle.[(triple5)] The lion is red.[(triple6)] The lion visits the bald eagle.[(triple7)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule1))]