The bald eagle is big. The bald eagle likes the cow. The bald eagle likes the rabbit. The bald eagle needs the cow. The bald eagle sees the lion. The cow is big. The cow likes the rabbit. The lion is round. The lion likes the bald eagle. The lion likes the rabbit. The lion needs the cow. The rabbit likes the cow. The rabbit likes the lion. The rabbit needs the cow. The rabbit needs the lion. The rabbit sees the lion. If the rabbit sees the cow then the rabbit likes the lion. If someone is nice then they like the lion. If someone is big and they like the bald eagle then they are round. If the rabbit is nice then the rabbit needs the cow. If someone needs the lion and the lion needs the cow then they see the bald eagle. If someone sees the bald eagle then they are big. If someone is big and they like the lion then the lion is big. If someone needs the cow then the cow likes the bald eagle.
The rabbit is nice.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle sees the lion.[(triple5)] The cow is big.[(triple6)] The cow likes the rabbit.[(triple7)] The lion is round.[(triple8 OR ((((((((triple15 triple11) -> rule5)) -> rule6) triple13) -> rule7) triple9) -> rule3))] The lion likes the bald eagle.[(triple9)] The lion likes the rabbit.[(triple10)] The lion needs the cow.[(triple11)] The rabbit likes the cow.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit needs the lion.[(triple15)] The rabbit sees the lion.[(triple16)] @1: The cow likes the bald eagle.[(((triple11) -> rule8) OR ((triple14) -> rule8) OR ((triple4) -> rule8))] The rabbit sees the bald eagle.[(((triple15 triple11) -> rule5))] @2: The cow is round.[(((triple6 ((triple11) -> rule8)) -> rule3) OR ((triple6 ((triple14) -> rule8)) -> rule3) OR ((triple6 ((triple4) -> rule8)) -> rule3))] The rabbit is big.[(((((triple15 triple11) -> rule5)) -> rule6))] @3: The lion is big.[(((((((triple15 triple11) -> rule5)) -> rule6) triple13) -> rule7))]