The bald eagle is cold. The bald eagle visits the rabbit. The dog chases the rabbit. The dog is cold. The dog visits the bald eagle. The rabbit visits the bald eagle. The tiger is big. If someone visits the tiger and the tiger needs the rabbit then they need the bald eagle. If someone visits the dog then the dog is big. If the bald eagle does not visit the rabbit then the rabbit is round. If someone visits the rabbit and the rabbit does not chase the tiger then the rabbit chases the bald eagle. If someone is big then they visit the dog. If someone chases the rabbit and they visit the rabbit then they are round.
The dog visits the dog.
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The dog chases the rabbit.[(triple3)] The dog is cold.[(triple4)] The dog visits the bald eagle.[(triple5)] The rabbit visits the bald eagle.[(triple6)] The tiger is big.[(triple7)] @1: The tiger visits the dog.[(((triple7) -> rule5))] @2: The dog is big.[(((((triple7) -> rule5)) -> rule2))] @3: The dog visits the dog.[(((((((triple7) -> rule5)) -> rule2)) -> rule5))]