The bear is big. The bear is kind. The bear needs the tiger. The bear sees the tiger. The bear visits the tiger. The tiger sees the bear. The tiger visits the bear. If someone sees the tiger then the tiger sees the bear. If someone sees the bear then the bear sees the tiger. If someone visits the bear then they see the tiger. If someone needs the tiger then they see the bear. If someone visits the tiger and the tiger is big then they see the bear. If someone sees the tiger and the tiger visits the bear then they visit the bear. If someone is kind and they see the bear then the bear visits the tiger. If someone sees the bear then they need the bear.
The bear sees the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the tiger.[(triple4 OR ((triple6) -> rule2) OR ((((triple3) -> rule4)) -> rule2) OR ((((((triple7) -> rule3)) -> rule1)) -> rule2))] The bear visits the tiger.[(triple5 OR ((triple2 ((triple3) -> rule4)) -> rule7))] The tiger sees the bear.[(triple6 OR ((triple4) -> rule1) OR ((((triple7) -> rule3)) -> rule1) OR ((((((triple3) -> rule4)) -> rule2)) -> rule1))] The tiger visits the bear.[(triple7)] @1: The bear sees the bear.[(((triple3) -> rule4))] The bear visits the bear.[(((triple4 triple7) -> rule6) OR ((((triple6) -> rule2) triple7) -> rule6) OR ((((((triple3) -> rule4)) -> rule2) triple7) -> rule6) OR ((((((((triple7) -> rule3)) -> rule1)) -> rule2) triple7) -> rule6))] The tiger needs the bear.[(((triple6) -> rule8) OR ((((triple4) -> rule1)) -> rule8) OR ((((((triple7) -> rule3)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule4)) -> rule2)) -> rule1)) -> rule8))] The tiger sees the tiger.[(((triple7) -> rule3))] @2: The bear needs the bear.[(((((triple3) -> rule4)) -> rule8))]