The bald eagle eats the rabbit. The bald eagle is round. The bald eagle likes the lion. The bald eagle sees the lion. The bald eagle sees the rabbit. The lion eats the bald eagle. The lion is big. The lion likes the bald eagle. The lion likes the rabbit. The lion sees the bald eagle. The lion sees the rabbit. The rabbit eats the bald eagle. The rabbit eats the lion. The rabbit is big. The rabbit likes the bald eagle. The rabbit sees the lion. If something likes the lion then the lion likes the bald eagle. If something likes the rabbit and the rabbit likes the lion then the lion sees the bald eagle.
The bald eagle does not eat the lion.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion is big.[(triple7)] The lion likes the bald eagle.[(triple8 OR ((triple3) -> rule1))] The lion likes the rabbit.[(triple9)] The lion sees the bald eagle.[(triple10)] The lion sees the rabbit.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit eats the lion.[(triple13)] The rabbit is big.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit sees the lion.[(triple16)]