The bald eagle eats the cow. The bald eagle is rough. The bald eagle likes the cow. The bald eagle likes the lion. The bald eagle does not see the lion. The cow eats the lion. The cow is big. The cow is rough. The cow is round. The cow likes the lion. The cow sees the bald eagle. The lion is cold. The lion is rough. The lion is round. The lion likes the cow. The lion sees the cow. If something eats the lion and it eats the bald eagle then the bald eagle sees the cow. If something is green then it likes the bald eagle. If the cow eats the bald eagle then the bald eagle is big. If something eats the lion then it eats the bald eagle. If something likes the cow then it eats the bald eagle. If something likes the bald eagle then the bald eagle eats the lion.
The cow does not like the lion.
@0: The bald eagle does not see the lion.[(triple5)] The bald eagle eats the cow.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the lion.[(triple4)] The cow eats the lion.[(triple6)] The cow is big.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow likes the lion.[(triple10)] The cow sees the bald eagle.[(triple11)] The lion is cold.[(triple12)] The lion is rough.[(triple13)] The lion is round.[(triple14)] The lion likes the cow.[(triple15)] The lion sees the cow.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple3) -> rule5))] The cow eats the bald eagle.[(((triple6) -> rule4))] The lion eats the bald eagle.[(((triple15) -> rule5))] @2: The bald eagle is big.[(((((triple6) -> rule4)) -> rule3))] The bald eagle sees the cow.[(((triple6 ((triple6) -> rule4)) -> rule1))]