The bald eagle is big. The bald eagle needs the cow. The bald eagle sees the bear. The bear is nice. The bear likes the lion. The cow needs the bear. The lion is big. The lion is young. The lion likes the bald eagle. The lion does not need the bald eagle. If something likes the lion then it likes the bald eagle. If the bear likes the bald eagle then the bear is green. If something sees the cow then the cow does not need the lion. If something is young then it is nice. If something is young then it sees the bald eagle. If something sees the lion then it sees the bald eagle. If something is young then it is kind. If something sees the bald eagle then the bald eagle is young.
The bear is not green.
@0: The bald eagle is big.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear is nice.[(triple4)] The bear likes the lion.[(triple5)] The cow needs the bear.[(triple6)] The lion does not need the bald eagle.[(triple10)] The lion is big.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9)] @1: The bear likes the bald eagle.[(((triple5) -> rule1))] The lion is kind.[(((triple8) -> rule7))] The lion is nice.[(((triple8) -> rule4))] The lion sees the bald eagle.[(((triple8) -> rule5))] @2: The bald eagle is young.[(((((triple8) -> rule5)) -> rule8))] The bear is green.[(((((triple5) -> rule1)) -> rule2))] @3: The bald eagle is kind.[(((((((triple8) -> rule5)) -> rule8)) -> rule7))] The bald eagle is nice.[(((((((triple8) -> rule5)) -> rule8)) -> rule4))] The bald eagle sees the bald eagle.[(((((((triple8) -> rule5)) -> rule8)) -> rule5))]