The bear is kind. The bear sees the tiger. The tiger is kind. The tiger is rough. The tiger is round. The tiger needs the bear. The tiger sees the bear. If someone sees the tiger then they need the bear. If someone is round then they eat the tiger. If someone is round then they see the tiger. If the tiger sees the bear and the tiger is rough then the bear does not eat the tiger. If someone needs the bear and they do not eat the tiger then they eat the bear. If someone eats the bear then they are nice.
The tiger does not need the bear.
@0: The bear is kind.[(triple1)] The bear sees the tiger.[(triple2)] The tiger is kind.[(triple3)] The tiger is rough.[(triple4)] The tiger is round.[(triple5)] The tiger needs the bear.[(triple6 OR ((((triple5) -> rule3)) -> rule1))] The tiger sees the bear.[(triple7)] @1: The bear does not eat the tiger.[(((triple7 triple4) -> rule4))] The bear needs the bear.[(((triple2) -> rule1))] The tiger eats the tiger.[(((triple5) -> rule2))] The tiger sees the tiger.[(((triple5) -> rule3))] @2: The bear eats the bear.[(((((triple2) -> rule1) ((triple7 triple4) -> rule4)) -> rule5))] @3: The bear is nice.[(((((((triple2) -> rule1) ((triple7 triple4) -> rule4)) -> rule5)) -> rule6))]