The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The rabbit is nice. The rabbit needs the tiger. The rabbit sees the bald eagle. The rabbit visits the tiger. The tiger is green. The tiger is nice. The tiger is rough. The tiger needs the rabbit. The tiger visits the bald eagle. The tiger visits the rabbit. If someone is green then they do not need the tiger. If someone is green then they are big. If the tiger is not young then the tiger sees the bald eagle. If someone visits the rabbit and they do not need the tiger then the rabbit sees the tiger. If someone visits the rabbit and they do not see the bald eagle then they do not visit the bald eagle. If someone sees the bald eagle and they do not visit the bald eagle then they see the tiger.
The tiger sees the bald eagle.
@0: The bald eagle is nice.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The rabbit is nice.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit sees the bald eagle.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the rabbit.[(triple13)] The tiger visits the bald eagle.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The tiger does not need the tiger.[(((triple10) -> rule1))] The tiger is big.[(((triple10) -> rule2))] @2: The rabbit sees the tiger.[(((triple15 ((triple10) -> rule1)) -> rule4))]