The bald eagle needs the rabbit. The bald eagle needs the tiger. The bald eagle visits the tiger. The rabbit is young. The rabbit likes the tiger. The rabbit needs the tiger. The rabbit visits the bald eagle. The tiger is cold. The tiger is kind. The tiger likes the bald eagle. The tiger does not like the rabbit. The tiger needs the bald eagle. The tiger needs the rabbit. The tiger visits the bald eagle. The tiger visits the rabbit. If something needs the rabbit and it does not visit the bald eagle then the rabbit is green. If something is green then it does not like the bald eagle. If something likes the tiger and the tiger visits the bald eagle then it likes the rabbit. If something likes the rabbit then it is not kind. If the rabbit does not like the bald eagle then the bald eagle needs the tiger. If something is young and it does not like the bald eagle then the bald eagle visits the rabbit.
The bald eagle does not like the rabbit.
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The rabbit is young.[(triple4)] The rabbit likes the tiger.[(triple5)] The rabbit needs the tiger.[(triple6)] The rabbit visits the bald eagle.[(triple7)] The tiger does not like the rabbit.[(triple11)] The tiger is cold.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the bald eagle.[(triple10)] The tiger needs the bald eagle.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit likes the rabbit.[(((triple5 triple14) -> rule3))] @2: The rabbit is not kind.[(((((triple5 triple14) -> rule3)) -> rule4))]