The bald eagle is cold. The bald eagle is not nice. The bald eagle is red. The bald eagle is round. The bald eagle likes the dog. The bald eagle sees the dog. The bald eagle visits the dog. The dog is not cold. The dog likes the bald eagle. The dog does not see the bald eagle. If someone sees the dog then the dog visits the bald eagle.
The bald eagle is cold.
@0: The bald eagle is cold.[(triple1)] The bald eagle is not nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle sees the dog.[(triple6)] The bald eagle visits the dog.[(triple7)] The dog does not see the bald eagle.[(triple10)] The dog is not cold.[(triple8)] The dog likes the bald eagle.[(triple9)] @1: The dog visits the bald eagle.[(((triple6) -> rule1))]