The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is blue. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle visits the lion. The lion eats the bald eagle. The lion is nice. The lion visits the bald eagle. If something chases the lion then it is young. If something visits the bald eagle then the bald eagle is nice.
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 nice.[(triple4 OR ((triple10) -> rule2))] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6 OR ((triple1) -> rule1))] The bald eagle visits the lion.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion is nice.[(triple9)] The lion visits the bald eagle.[(triple10)]