The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle likes the dog. The bald eagle sees the dog. The dog is cold. The dog does not like the bald eagle. If the dog eats the bald eagle and the bald eagle does not see the dog then the bald eagle eats the dog. If the dog is nice then the dog sees the bald eagle. If something likes the bald eagle and the bald eagle does not see the dog then the dog does not see the bald eagle. If something is nice and it eats the dog then the dog does not see the bald eagle. If something is green then it likes the dog. If something eats the bald eagle and it is round then the bald eagle is blue. If something is nice then it does not like the bald eagle. If something likes the dog and it does not eat the dog then it is cold.
The dog is blue.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the dog.[(triple4 OR ((triple2) -> rule5))] The bald eagle sees the dog.[(triple5)] The dog does not like the bald eagle.[(triple7)] The dog is cold.[(triple6)] @1: The bald eagle does not like the bald eagle.[(((triple3) -> rule7))]