The bald eagle is cold. The bald eagle sees the dog. The dog is blue. The dog is nice. The dog likes the bald eagle. The dog needs the bald eagle. The dog sees the bald eagle. If someone is nice then they need the bald eagle. If someone is nice then they see the dog. If someone needs the bald eagle then the bald eagle needs the dog. If someone sees the bald eagle and they like the dog then they are cold. If someone sees the bald eagle and the bald eagle needs the dog then the dog is blue. If someone is green and they see the dog then they like the bald eagle. If someone likes the bald eagle and they need the bald eagle then the bald eagle likes the dog. If the dog is nice then the dog is cold.
The dog likes the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog is blue.[(triple3 OR ((triple7 ((triple6) -> rule3)) -> rule5) OR ((triple7 ((((triple4) -> rule1)) -> rule3)) -> rule5))] The dog is nice.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6 OR ((triple4) -> rule1))] The dog sees the bald eagle.[(triple7)] @1: The bald eagle likes the dog.[(((triple5 triple6) -> rule7) OR ((triple5 ((triple4) -> rule1)) -> rule7))] The bald eagle needs the dog.[(((triple6) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] The dog is cold.[(((triple4) -> rule8))] The dog sees the dog.[(((triple4) -> rule2))]