The bald eagle likes the dog. The dog is big. If something likes the dog then it is cold. If something likes the dog then the dog sees the bald eagle. If the dog is cold then the dog does not see the bald eagle. If something sees the bald eagle then the bald eagle visits the dog. If something visits the dog then it does not visit the bald eagle. If the dog likes the bald eagle then the bald eagle is not red.
The bald eagle visits the bald eagle.
@0: The bald eagle likes the dog.[(triple1)] The dog is big.[(triple2)] @1: The bald eagle is cold.[(((triple1) -> rule1))] The dog sees the bald eagle.[(((triple1) -> rule2))] @2: The bald eagle visits the dog.[(((((triple1) -> rule2)) -> rule4))] @3: The bald eagle does not visit the bald eagle.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))]