The bald eagle does not chase the tiger. The bald eagle is cold. The bald eagle needs the tiger. The bald eagle visits the rabbit. The rabbit is cold. The rabbit is red. The rabbit needs the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger visits the bald eagle. If someone needs the rabbit and the rabbit does not chase the bald eagle then the rabbit visits the tiger. If the tiger needs the rabbit and the tiger does not visit the rabbit then the tiger is cold. If someone chases the bald eagle and they chase the tiger then the tiger chases the bald eagle. If the bald eagle chases the rabbit then the rabbit is not green. If someone chases the bald eagle and the bald eagle visits the rabbit then the rabbit is not green. If someone chases the tiger and the tiger chases the rabbit then the rabbit chases the tiger. If the rabbit is young and the rabbit does not chase the tiger then the rabbit does not visit the bald eagle. If the rabbit is blue then the rabbit does not visit the bald eagle.
The bald eagle does not visit the rabbit.
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The rabbit is cold.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The rabbit is not green.[(((triple8 triple4) -> rule5))]