The bald eagle chases the cat. The bald eagle is nice. The cat chases the mouse. The cat is nice. The cat is round. The cat likes the bald eagle. The cat needs the dog. The dog is cold. The dog likes the bald eagle. The dog likes the mouse. The dog needs the bald eagle. The mouse chases the dog. The mouse is round. The mouse likes the cat. The mouse needs the bald eagle. If something likes the dog and it chases the cat then it needs the dog. If something is big then it likes the bald eagle. If something chases the bald eagle then the bald eagle likes the mouse. If something is red then it chases the mouse. If something likes the cat and the cat chases the mouse then it chases the dog. If something chases the cat and the cat needs the dog then it is big.
The bald eagle does not need the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2)] The cat chases the mouse.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat needs the dog.[(triple7)] The dog is cold.[(triple8)] The dog likes the bald eagle.[(triple9)] The dog likes the mouse.[(triple10)] The dog needs the bald eagle.[(triple11)] The mouse chases the dog.[(triple12 OR ((triple14 triple3) -> rule5))] The mouse is round.[(triple13)] The mouse likes the cat.[(triple14)] The mouse needs the bald eagle.[(triple15)] @1: The bald eagle is big.[(((triple1 triple7) -> rule6))] @2: The bald eagle likes the bald eagle.[(((((triple1 triple7) -> rule6)) -> rule2))]