The bald eagle is cold. The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the lion. The lion is big. The lion likes the bald eagle. The lion needs the bald eagle. The lion visits the bald eagle. The lion visits the rabbit. The rabbit is rough. The rabbit needs the bald eagle. The rabbit needs the lion. If something visits the rabbit then it is cold. If something visits the rabbit and it visits the bald eagle then the bald eagle is young. If something is big and cold then it visits the bald eagle.
The lion does not visit the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is young.[(triple2 OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple5 ((triple9) -> rule1)) -> rule3)) -> rule2))] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The lion is big.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion visits the bald eagle.[(triple8 OR ((triple5 ((triple9) -> rule1)) -> rule3))] The lion visits the rabbit.[(triple9)] The rabbit is rough.[(triple10)] The rabbit needs the bald eagle.[(triple11)] The rabbit needs the lion.[(triple12)] @1: The lion is cold.[(((triple9) -> rule1))]