The bear is blue. All red people are blue. If the bear is green then the bear is kind. All blue people are green. Kind people are big. All red, green people are blue. If someone is red and big then they are kind. Big people are blue. All kind, big people are red.
The bear is not green.
@0: The bear is blue.[(triple1)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear is kind.[(((((triple1) -> rule3)) -> rule2))] @3: The bear is big.[(((((((triple1) -> rule3)) -> rule2)) -> rule4))] @4: The bear is red.[(((((((triple1) -> rule3)) -> rule2) ((((((triple1) -> rule3)) -> rule2)) -> rule4)) -> rule8))]