The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle likes the lion. The bald eagle likes the rabbit. The bald eagle visits the rabbit. The lion is red. The lion likes the rabbit. The lion visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the lion. The rabbit is red. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit visits the bald eagle. The rabbit visits the lion. If something likes the bald eagle and it is red then the bald eagle visits the rabbit. If something is red and it likes the bald eagle then it visits the bald eagle. If something likes the rabbit then the rabbit eats the bald eagle.
The lion is round.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle visits the rabbit.[(triple6 OR ((triple13 triple12) -> rule1))] The lion is red.[(triple7)] The lion likes the rabbit.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10 OR ((triple5) -> rule3) OR ((triple8) -> rule3))] The rabbit eats the lion.[(triple11)] The rabbit is red.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit visits the bald eagle.[(triple15 OR ((triple12 triple13) -> rule2))] The rabbit visits the lion.[(triple16)]