The bald eagle is cold. The bald eagle is nice. The bald eagle is young. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle sees the dog. The dog is cold. The dog likes the bald eagle. The dog needs the bald eagle. The dog sees the bald eagle. If someone needs the dog and the dog likes the bald eagle then the dog is nice. If the dog likes the bald eagle then the bald eagle is cold. If someone needs the dog then they are cold. If the bald eagle needs the dog and the bald eagle likes the dog then the dog is young. If the dog needs the bald eagle then the bald eagle sees the dog. If someone is nice and they need the bald eagle then they need the dog.
The dog does not like the bald eagle.
@0: The bald eagle is cold.[(triple1 OR ((triple5) -> rule3) OR ((triple8) -> rule2))] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle needs the dog.[(triple5)] The bald eagle sees the dog.[(triple6 OR ((triple9) -> rule5))] The dog is cold.[(triple7 OR ((((((triple5 triple8) -> rule1) triple9) -> rule6)) -> rule3))] The dog likes the bald eagle.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog sees the bald eagle.[(triple10)] @1: The dog is nice.[(((triple5 triple8) -> rule1))] The dog is young.[(((triple5 triple4) -> rule4))] @2: The dog needs the dog.[(((((triple5 triple8) -> rule1) triple9) -> rule6))]