The bear is kind. The tiger needs the bear. If the bear eats the tiger then the tiger is kind. If someone needs the tiger then the tiger likes the bear. If the bear is kind and the bear eats the tiger then the tiger does not like the bear. If someone is kind then they are not green. If someone likes the bear then they like the tiger. If someone needs the bear then the bear eats the tiger. If someone is green and they do not like the bear then the bear does not like the tiger. If someone is cold and they do not like the tiger then the tiger does not eat the bear.
The tiger is kind.
@0: The bear is kind.[(triple1)] The tiger needs the bear.[(triple2)] @1: The bear eats the tiger.[(((triple2) -> rule6))] The bear is not green.[(((triple1) -> rule4))] @2: The tiger does not like the bear.[(((triple1 ((triple2) -> rule6)) -> rule3))] The tiger is kind.[(((((triple2) -> rule6)) -> rule1))] @3: The tiger is not green.[(((((((triple2) -> rule6)) -> rule1)) -> rule4))]