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