The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle needs the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is blue. The lion is green. The lion is young. The lion needs the bald eagle. If something chases the lion and the lion needs the bald eagle then the bald eagle eats the lion. If something eats the lion and the lion chases the bald eagle then the lion is green.
The lion is rough.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2 OR ((triple1 triple12) -> rule1))] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is green.[(triple5)] The bald eagle needs the lion.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is blue.[(triple9)] The lion is green.[(triple10 OR ((triple2 triple7) -> rule2) OR ((((triple1 triple12) -> rule1) triple7) -> rule2))] The lion is young.[(triple11)] The lion needs the bald eagle.[(triple12)]