The bear eats the tiger. The bear is nice. The bear is red. The bear sees the tiger. The tiger is big. The tiger needs the bear. The tiger sees the bear. If something needs the bear then it eats the bear. If something eats the tiger and it sees the bear then the tiger is young. If something is big then it needs the tiger. If something eats the bear and the bear is nice then it eats the tiger. If something is nice and it needs the tiger then it eats the bear. If something eats the tiger and the tiger is big then the tiger needs the bear.
The tiger does not need the bear.
@0: The bear eats the tiger.[(triple1)] The bear is nice.[(triple2)] The bear is red.[(triple3)] The bear sees the tiger.[(triple4)] The tiger is big.[(triple5)] The tiger needs the bear.[(triple6 OR ((triple1 triple5) -> rule6))] The tiger sees the bear.[(triple7)] @1: The tiger eats the bear.[(((triple6) -> rule1) OR ((((triple1 triple5) -> rule6)) -> rule1))] The tiger needs the tiger.[(((triple5) -> rule3))] @2: The tiger eats the tiger.[(((((triple6) -> rule1) triple2) -> rule4) OR ((((((triple1 triple5) -> rule6)) -> rule1) triple2) -> rule4))] @3: The tiger is young.[(((((((triple6) -> rule1) triple2) -> rule4) triple7) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1) triple2) -> rule4) triple7) -> rule2))]