The bald eagle chases the mouse. The bald eagle needs the cat. The cat is green. The cat needs the bald eagle. The dog is green. The mouse chases the cat. The mouse is cold. The mouse is green. The mouse sees the bald eagle. The mouse sees the dog. If someone sees the bald eagle then they need the dog.
The mouse does not chase the cat.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat is green.[(triple3)] The cat needs the bald eagle.[(triple4)] The dog is green.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the dog.[(triple10)] @1: The mouse needs the dog.[(((triple9) -> rule1))]