The bear sees the tiger. The tiger needs the bear. If someone eats the tiger then they are red. If the bear is green then the bear needs the tiger. If someone eats the bear and they are not young then the bear needs the tiger. If someone eats the bear and they are not rough then the bear does not need the tiger. If someone is green then they eat the tiger. If someone is red then they eat the bear. If someone eats the bear then they are green. If someone sees the tiger then the tiger is red.
The tiger is not green.
@0: The bear sees the tiger.[(triple1)] The tiger needs the bear.[(triple2)] @1: The tiger is red.[(((triple1) -> rule8))] @2: The tiger eats the bear.[(((((triple1) -> rule8)) -> rule6))] @3: The tiger is green.[(((((((triple1) -> rule8)) -> rule6)) -> rule7))] @4: The tiger eats the tiger.[(((((((((triple1) -> rule8)) -> rule6)) -> rule7)) -> rule5))]