The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle is big. The bald eagle is nice. The bald eagle is young. The bald eagle likes the lion. The bald eagle likes the tiger. The bald eagle needs the lion. The bald eagle needs the tiger. The lion eats the bald eagle. The lion eats the tiger. The lion is big. The lion is blue. The lion is nice. The lion likes the bald eagle. The tiger needs the bald eagle. If something needs the tiger then the tiger likes the bald eagle. If something is round then it needs the lion. If something eats the lion and it is round then it likes the lion. If something needs the lion then it is blue. If something is big and blue then it likes the tiger. If the tiger needs the bald eagle then the tiger is round.
The tiger likes the tiger.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the lion.[(triple6)] The bald eagle likes the tiger.[(triple7 OR ((triple3 ((triple8) -> rule4)) -> rule5))] The bald eagle needs the lion.[(triple8)] The bald eagle needs the tiger.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion eats the tiger.[(triple11)] The lion is big.[(triple12)] The lion is blue.[(triple13)] The lion is nice.[(triple14)] The lion likes the bald eagle.[(triple15)] The tiger needs the bald eagle.[(triple16)] @1: The bald eagle is blue.[(((triple8) -> rule4))] The lion likes the tiger.[(((triple12 triple13) -> rule5))] The tiger is round.[(((triple16) -> rule6))] The tiger likes the bald eagle.[(((triple9) -> rule1))] @2: The tiger needs the lion.[(((((triple16) -> rule6)) -> rule2))] @3: The tiger is blue.[(((((((triple16) -> rule6)) -> rule2)) -> rule4))]