The bald eagle eats the lion. The bald eagle is rough. The bald eagle needs the lion. The bald eagle visits the lion. The bald eagle visits the tiger. The lion eats the bald eagle. The lion eats the tiger. The lion needs the tiger. The lion visits the tiger. The tiger is nice. If someone is nice and they need the tiger then the tiger eats the lion. If someone eats the lion and they need the lion then the lion eats the bald eagle. If someone is young and they visit the bald eagle then they visit the tiger.
The bald eagle does not visit the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle visits the lion.[(triple4)] The bald eagle visits the tiger.[(triple5)] The lion eats the bald eagle.[(triple6 OR ((triple1 triple3) -> rule2))] The lion eats the tiger.[(triple7)] The lion needs the tiger.[(triple8)] The lion visits the tiger.[(triple9)] The tiger is nice.[(triple10)]