The bald eagle chases the rabbit. The bald eagle chases the tiger. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bald eagle needs the rabbit. The bald eagle needs the tiger. The bald eagle visits the rabbit. The bald eagle visits the tiger. The rabbit is young. The rabbit needs the tiger. The rabbit visits the tiger. The tiger chases the bald eagle. The tiger is green. The tiger visits the rabbit. If something is nice and it visits the tiger then the tiger needs the rabbit. If the tiger is young then the tiger needs the bald eagle. If something needs the bald eagle then the bald eagle needs the tiger. If the bald eagle needs the rabbit and the rabbit visits the tiger then the rabbit needs the tiger. If something is round then it visits the tiger. If something chases the tiger then it is young. If something is nice then it needs the tiger. If something is round and it chases the tiger then the tiger visits the rabbit.
The bald eagle does not visit the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is young.[(triple6 OR ((triple2) -> rule6))] The bald eagle needs the rabbit.[(triple7)] The bald eagle needs the tiger.[(triple8 OR ((triple5) -> rule7))] The bald eagle visits the rabbit.[(triple9)] The bald eagle visits the tiger.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the tiger.[(triple12 OR ((triple7 triple13) -> rule4))] The rabbit visits the tiger.[(triple13)] The tiger chases the bald eagle.[(triple14)] The tiger is green.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The tiger needs the rabbit.[(((triple5 triple10) -> rule1))]