The bald eagle chases the lion. The dog eats the bald eagle. The lion is kind. If something chases the bald eagle and the bald eagle is not blue then it does not eat the lion. If the bald eagle chases the lion then the bald eagle eats the dog. If the dog eats the lion then the dog is round. If something eats the dog then it is cold. If something sees the lion and the lion does not eat the dog then the lion chases the dog. If something is cold then it sees the bald eagle.
The lion is not kind.
@0: The bald eagle chases the lion.[(triple1)] The dog eats the bald eagle.[(triple2)] The lion is kind.[(triple3)] @1: The bald eagle eats the dog.[(((triple1) -> rule2))] @2: The bald eagle is cold.[(((((triple1) -> rule2)) -> rule4))] @3: The bald eagle sees the bald eagle.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))]