The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is round. The bald eagle likes the rabbit. The bald eagle visits the lion. The lion eats the tiger. The lion is big. The lion likes the bald eagle. The lion visits the bald eagle. The rabbit eats the tiger. The rabbit is blue. The rabbit visits the bald eagle. The rabbit visits the tiger. The tiger eats the lion. The tiger likes the lion. If someone eats the rabbit then the rabbit eats the bald eagle. If someone visits the bald eagle then the bald eagle likes the rabbit. If the bald eagle eats the rabbit and the bald eagle is rough then the rabbit is round.
The rabbit is not round.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the rabbit.[(triple4 OR ((triple12) -> rule2) OR ((triple9) -> rule2))] The bald eagle visits the lion.[(triple5)] The lion eats the tiger.[(triple6)] The lion is big.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion visits the bald eagle.[(triple9)] The rabbit eats the tiger.[(triple10)] The rabbit is blue.[(triple11)] The rabbit visits the bald eagle.[(triple12)] The rabbit visits the tiger.[(triple13)] The tiger eats the lion.[(triple14)] The tiger likes the lion.[(triple15)] @1: The rabbit eats the bald eagle.[(((triple2) -> rule1))]