The bald eagle eats the lion. The bald eagle is young. The bald eagle sees the lion. The dog sees the bald eagle. The dog sees the lion. The lion is green. The lion visits the bald eagle. If something sees the bald eagle then the bald eagle is green. If something sees the lion and it is big then it sees the dog.
The bald eagle is not green.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the lion.[(triple3)] The dog sees the bald eagle.[(triple4)] The dog sees the lion.[(triple5)] The lion is green.[(triple6)] The lion visits the bald eagle.[(triple7)] @1: The bald eagle is green.[(((triple4) -> rule1))]