The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is blue. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle needs the lion. The lion eats the bald eagle. The lion is cold. The lion is rough. The lion is round. The lion needs the bald eagle. If someone is blue and they eat the lion then the lion needs the bald eagle. If the bald eagle needs the lion then the lion needs the bald eagle. If someone eats the lion then the lion is cold.
The lion does not eat the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the lion.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is cold.[(triple9 OR ((triple2) -> rule3))] The lion is rough.[(triple10)] The lion is round.[(triple11)] The lion needs the bald eagle.[(triple12 OR ((triple7) -> rule2) OR ((triple3 triple2) -> rule1))]