The bald eagle likes the cow. The bear likes the bald eagle. The bear likes the lion. The bear needs the cow. The bear sees the lion. The cow is cold. The cow does not like the bald eagle. The cow likes the lion. The cow needs the lion. The cow sees the bald eagle. The cow sees the bear. The cow sees the lion. The lion needs the bald eagle. The lion needs the cow. The lion sees the bear. If the lion does not see the bald eagle then the bald eagle is round. Young things are green. If something likes the cow then it is round. If something sees the bear then the bear is green. If something is round and it needs the bald eagle then the bald eagle does not like the bear. If something likes the bald eagle then it likes the lion. If something is round then it likes the bald eagle. If the bald eagle is round and the bald eagle sees the bear then the bald eagle is young.
The bald eagle likes the lion.
@0: The bald eagle likes the cow.[(triple1)] The bear likes the bald eagle.[(triple2)] The bear likes the lion.[(triple3 OR ((triple2) -> rule6))] The bear needs the cow.[(triple4)] The bear sees the lion.[(triple5)] The cow does not like the bald eagle.[(triple7)] The cow is cold.[(triple6)] The cow likes the lion.[(triple8)] The cow needs the lion.[(triple9)] The cow sees the bald eagle.[(triple10)] The cow sees the bear.[(triple11)] The cow sees the lion.[(triple12)] The lion needs the bald eagle.[(triple13)] The lion needs the cow.[(triple14)] The lion sees the bear.[(triple15)] @1: The bald eagle is round.[(((triple1) -> rule3))] The bear is green.[(((triple11) -> rule4) OR ((triple15) -> rule4))] @2: The bald eagle likes the bald eagle.[(((((triple1) -> rule3)) -> rule7))] @3: The bald eagle likes the lion.[(((((((triple1) -> rule3)) -> rule7)) -> rule6))]