The bald eagle is nice. The bald eagle is round. The bald eagle likes the rabbit. The bear likes the rabbit. The bear needs the bald eagle. The bear sees the rabbit. The bear sees the tiger. The rabbit is big. The rabbit likes the tiger. The rabbit needs the bald eagle. The rabbit sees the bald eagle. The rabbit sees the bear. The rabbit sees the tiger. The tiger is kind. The tiger likes the bear. The tiger needs the rabbit. If something likes the bear and the bear sees the tiger then the bear sees the rabbit. If something needs the tiger and the tiger sees the bald eagle then it likes the rabbit. If something likes the bear then it needs the bear. If something is nice and it likes the bald eagle then it needs the rabbit. Nice things are big. If something likes the rabbit and it sees the rabbit then the rabbit likes the bald eagle. If something sees the tiger then it needs the tiger. If something needs the rabbit and it is big then the rabbit is nice.
The tiger needs the rabbit.
@0: The bald eagle is nice.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bear likes the rabbit.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear sees the rabbit.[(triple6 OR ((triple15 triple7) -> rule1))] The bear sees the tiger.[(triple7)] The rabbit is big.[(triple8)] The rabbit likes the tiger.[(triple9)] The rabbit needs the bald eagle.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the bear.[(triple12)] The rabbit sees the tiger.[(triple13)] The tiger is kind.[(triple14)] The tiger likes the bear.[(triple15)] The tiger needs the rabbit.[(triple16)] @1: The bald eagle is big.[(((triple1) -> rule5))] The bear needs the tiger.[(((triple7) -> rule7))] The rabbit likes the bald eagle.[(((triple4 triple6) -> rule6) OR ((triple4 ((triple15 triple7) -> rule1)) -> rule6))] The rabbit needs the tiger.[(((triple13) -> rule7))] The tiger needs the bear.[(((triple15) -> rule3))]