The bald eagle is round. The bald eagle needs the tiger. The bald eagle visits the tiger. The bear eats the bald eagle. The bear is nice. The bear needs the bald eagle. The rabbit eats the bald eagle. The rabbit is big. The rabbit is nice. The rabbit does not need the bald eagle. The rabbit needs the bear. The rabbit needs the tiger. The rabbit does not visit the bald eagle. The tiger needs the rabbit. If something eats the tiger and it is round then the tiger eats the bear. If something needs the tiger then it is red. If something eats the bald eagle then it is red. If something eats the rabbit then it eats the tiger. If something is round and it does not need the bald eagle then it eats the rabbit. If something needs the bear and it is young then it needs the tiger. If something is red and it eats the bald eagle then it is round. If something is red and it eats the rabbit then it visits the bear.
The rabbit is not red.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear is nice.[(triple5)] The bear needs the bald eagle.[(triple6)] The rabbit does not need the bald eagle.[(triple10)] The rabbit does not visit the bald eagle.[(triple13)] The rabbit eats the bald eagle.[(triple7)] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The rabbit needs the bear.[(triple11)] The rabbit needs the tiger.[(triple12)] The tiger needs the rabbit.[(triple14)] @1: The bald eagle is red.[(((triple2) -> rule2))] The bear is red.[(((triple4) -> rule3))] The rabbit is red.[(((triple12) -> rule2) OR ((triple7) -> rule3))] @2: The bear is round.[(((((triple4) -> rule3) triple4) -> rule7))] The rabbit is round.[(((((triple12) -> rule2) triple7) -> rule7) OR ((((triple7) -> rule3) triple7) -> rule7))] @3: The rabbit eats the rabbit.[(((((((triple12) -> rule2) triple7) -> rule7) triple10) -> rule5) OR ((((((triple7) -> rule3) triple7) -> rule7) triple10) -> rule5))] @4: The rabbit eats the tiger.[(((((((((triple12) -> rule2) triple7) -> rule7) triple10) -> rule5)) -> rule4) OR ((((((((triple7) -> rule3) triple7) -> rule7) triple10) -> rule5)) -> rule4))] The rabbit visits the bear.[(((((triple12) -> rule2) ((((((triple12) -> rule2) triple7) -> rule7) triple10) -> rule5)) -> rule8) OR ((((triple12) -> rule2) ((((((triple7) -> rule3) triple7) -> rule7) triple10) -> rule5)) -> rule8) OR ((((triple7) -> rule3) ((((((triple12) -> rule2) triple7) -> rule7) triple10) -> rule5)) -> rule8) OR ((((triple7) -> rule3) ((((((triple7) -> rule3) triple7) -> rule7) triple10) -> rule5)) -> rule8))] @5: The tiger eats the bear.[(((((((((((triple12) -> rule2) triple7) -> rule7) triple10) -> rule5)) -> rule4) ((((triple12) -> rule2) triple7) -> rule7)) -> rule1) OR ((((((((((triple12) -> rule2) triple7) -> rule7) triple10) -> rule5)) -> rule4) ((((triple7) -> rule3) triple7) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3) triple7) -> rule7) triple10) -> rule5)) -> rule4) ((((triple12) -> rule2) triple7) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3) triple7) -> rule7) triple10) -> rule5)) -> rule4) ((((triple7) -> rule3) triple7) -> rule7)) -> rule1))]