The bald eagle eats the dog. The bald eagle is young. The bald eagle likes the dog. The dog eats the bald eagle. The dog is green. The dog is young. The dog sees the bald eagle. If something eats the dog then the dog is green. If something likes the bald eagle and the bald eagle sees the dog then it likes the dog. If something eats the dog then the dog sees the bald eagle.
The dog does not like the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the dog.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog is green.[(triple5 OR ((triple1) -> rule1))] The dog is young.[(triple6)] The dog sees the bald eagle.[(triple7 OR ((triple1) -> rule3))]