The bald eagle chases the dog. The bald eagle is blue. The bald eagle is not kind. The bald eagle is rough. The bald eagle likes the dog. The bald eagle sees the dog. The dog does not chase the bald eagle. If the dog likes the bald eagle and the bald eagle is kind then the dog is kind. If something likes the dog and the dog does not see the bald eagle then it likes the bald eagle. If something is kind then it likes the bald eagle. If something likes the bald eagle then the bald eagle is big. If something is rough then it chases the bald eagle. If something chases the bald eagle and it sees the dog then the dog likes the bald eagle.
The dog does not chase the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the dog.[(triple5)] The bald eagle sees the dog.[(triple6)] The dog does not chase the bald eagle.[(triple7)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule5))] @2: The dog likes the bald eagle.[(((((triple4) -> rule5) triple6) -> rule6))] @3: The bald eagle is big.[(((((((triple4) -> rule5) triple6) -> rule6)) -> rule4))]