The bald eagle is cold. The bald eagle sees the bear. The bald eagle sees the rabbit. The bear is young. The bear sees the bald eagle. The bear visits the bald eagle. The bear visits the rabbit. The rabbit needs the bald eagle. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If someone sees the bald eagle then the bald eagle sees the bear. If someone is red and they see the rabbit then they visit the bald eagle. If someone visits the rabbit then they are young.
The rabbit is not young.
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the bear.[(triple2 OR ((triple5) -> rule1) OR ((triple9) -> rule1))] The bald eagle sees the rabbit.[(triple3)] The bear is young.[(triple4 OR ((triple7) -> rule3))] The bear sees the bald eagle.[(triple5)] The bear visits the bald eagle.[(triple6)] The bear visits the rabbit.[(triple7)] The rabbit needs the bald eagle.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10)]