The bear eats the tiger. The bear is big. The bear is blue. The bear is nice. The bear is red. The bear is young. The bear needs the tiger. The bear sees the tiger. The tiger eats the bear. The tiger is blue. The tiger is young. The tiger does not need the bear. If someone needs the bear then they are not young. If someone eats the tiger and they are red then the tiger is not red. If the tiger eats the bear then the bear needs the tiger. If someone sees the bear and they are not nice then the bear does not see the tiger. If someone needs the tiger then they see the tiger. If someone eats the bear and the bear is nice then they are not big.
The bear needs the tiger.
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear needs the tiger.[(triple7 OR ((triple9) -> rule3))] The bear sees the tiger.[(triple8 OR ((triple7) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] The tiger does not need the bear.[(triple12)] The tiger eats the bear.[(triple9)] The tiger is blue.[(triple10)] The tiger is young.[(triple11)] @1: The tiger is not big.[(((triple9 triple4) -> rule6))] The tiger is not red.[(((triple1 triple5) -> rule2))]