The bald eagle is kind. The bald eagle likes the lion. The bald eagle sees the lion. The lion eats the bald eagle. The lion is big. The lion is kind. The lion is rough. The lion is young. The lion likes the bald eagle. The lion sees the bald eagle. Big, green people are young. If someone is green then they eat the lion. If the lion is big and the lion eats the bald eagle then the lion likes the bald eagle. If someone is young and they eat the bald eagle then the bald eagle eats the lion. If someone is young then they like the lion. If someone is young and they like the lion then they are green.
The lion does not like the lion.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion is big.[(triple5)] The lion is kind.[(triple6)] The lion is rough.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9 OR ((triple5 triple4) -> rule3))] The lion sees the bald eagle.[(triple10)] @1: The bald eagle eats the lion.[(((triple8 triple4) -> rule4))] The lion likes the lion.[(((triple8) -> rule5))] @2: The lion is green.[(((triple8 ((triple8) -> rule5)) -> rule6))] @3: The lion eats the lion.[(((((triple8 ((triple8) -> rule5)) -> rule6)) -> rule2))]