The bald eagle is cold. The bald eagle is red. The bald eagle is young. The bald eagle needs the dog. The bald eagle needs the tiger. The bald eagle sees the tiger. The bald eagle visits the dog. The dog is cold. The dog is rough. The dog needs the bald eagle. The dog needs the tiger. The dog visits the bald eagle. The dog visits the tiger. The tiger is cold. The tiger sees the bald eagle. The tiger sees the dog. If something needs the dog and the dog is rough then the dog sees the tiger. If something is young and it sees the tiger then it visits the bald eagle. If something visits the bald eagle and it is young then the bald eagle is rough.
The tiger does not need the dog.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The bald eagle visits the dog.[(triple7)] The dog is cold.[(triple8)] The dog is rough.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the tiger.[(triple11)] The dog visits the bald eagle.[(triple12)] The dog visits the tiger.[(triple13)] The tiger is cold.[(triple14)] The tiger sees the bald eagle.[(triple15)] The tiger sees the dog.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple3 triple6) -> rule2))] The dog sees the tiger.[(((triple4 triple9) -> rule1))] @2: The bald eagle is rough.[(((((triple3 triple6) -> rule2) triple3) -> rule3))]