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