The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is not nice. The bald eagle is not rough. The bald eagle is round. The bald eagle is young. The bald eagle needs the lion. The lion does not chase the bald eagle. The lion is big. The lion is nice. The lion is rough. The lion is young. If something is young then it does not eat the bald eagle.
The lion does not chase the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle is not rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the lion.[(triple7)] The lion does not chase the bald eagle.[(triple8)] The lion is big.[(triple9)] The lion is nice.[(triple10)] The lion is rough.[(triple11)] The lion is young.[(triple12)] @1: The bald eagle does not eat the bald eagle.[(((triple6) -> rule1))] The lion does not eat the bald eagle.[(((triple12) -> rule1))]