The bald eagle does not chase the lion. The bald eagle is nice. The bald eagle is not red. The bald eagle is rough. The bald eagle is young. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the bald eagle. The lion is red. The lion is rough. The lion likes the bald eagle. The lion sees the bald eagle. If someone likes the lion then they are young. If someone likes the lion then they are rough.
The bald eagle does not chase the lion.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple6) -> rule2))] The bald eagle is young.[(triple5 OR ((triple6) -> rule1))] The bald eagle likes the lion.[(triple6)] The bald eagle sees the lion.[(triple7)] The lion chases the bald eagle.[(triple8)] The lion is red.[(triple9)] The lion is rough.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion sees the bald eagle.[(triple12)]