The bald eagle eats the dog. The dog needs the bald eagle. If someone likes the dog then the dog is cold. If someone needs the bald eagle then they are red. If someone needs the dog then the dog likes the bald eagle. If the dog eats the bald eagle then the bald eagle needs the dog. If someone needs the bald eagle and they are red then the bald eagle likes the dog. If someone needs the bald eagle and the bald eagle likes the dog then the dog eats the bald eagle.
The dog does not eat the bald eagle.
@0: The bald eagle eats the dog.[(triple1)] The dog needs the bald eagle.[(triple2)] @1: The dog is red.[(((triple2) -> rule2))] @2: The bald eagle likes the dog.[(((triple2 ((triple2) -> rule2)) -> rule5))] @3: The dog eats the bald eagle.[(((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6))] The dog is cold.[(((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule1))] @4: The bald eagle needs the dog.[(((((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4))] @5: The dog likes the bald eagle.[(((((((triple2 ((triple2 ((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4)) -> rule3))]