The bald eagle is cold. The bald eagle needs the rabbit. The bald eagle needs the tiger. The dog eats the rabbit. The dog eats the tiger. The dog is blue. The dog is young. The dog needs the tiger. The dog visits the tiger. The rabbit is big. The rabbit needs the dog. The rabbit visits the bald eagle. The tiger eats the bald eagle. The tiger eats the dog. The tiger needs the rabbit. If something is cold then it eats the dog. If something visits the rabbit and the rabbit visits the bald eagle then it visits the bald eagle. If something visits the dog then it needs the bald eagle. If the rabbit is big then the rabbit visits the tiger. If the rabbit is rough then the rabbit is young. If something eats the dog and the dog eats the rabbit then it is blue. If something eats the tiger and it needs the tiger then it eats the dog. If something is blue and it needs the rabbit then it needs the bald eagle.
The dog needs the tiger.
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle needs the tiger.[(triple3)] The dog eats the rabbit.[(triple4)] The dog eats the tiger.[(triple5)] The dog is blue.[(triple6 OR ((((triple5 triple8) -> rule7) triple4) -> rule6))] The dog is young.[(triple7)] The dog needs the tiger.[(triple8)] The dog visits the tiger.[(triple9)] The rabbit is big.[(triple10)] The rabbit needs the dog.[(triple11)] The rabbit visits the bald eagle.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger eats the dog.[(triple14)] The tiger needs the rabbit.[(triple15)] @1: The bald eagle eats the dog.[(((triple1) -> rule1))] The dog eats the dog.[(((triple5 triple8) -> rule7))] The rabbit visits the tiger.[(((triple10) -> rule4))] The tiger is blue.[(((triple14 triple4) -> rule6))] @2: The bald eagle is blue.[(((((triple1) -> rule1) triple4) -> rule6))] The tiger needs the bald eagle.[(((((triple14 triple4) -> rule6) triple15) -> rule8))] @3: The bald eagle needs the bald eagle.[(((((((triple1) -> rule1) triple4) -> rule6) triple2) -> rule8))]