The bear is green. Cold people are young. If the bear is green then the bear is young. All blue people are big. If someone is young and not cold then they are big. If the bear is big then the bear is green. If someone is young then they are blue.
The bear is not green.
@0: The bear is green.[(triple1)] @1: The bear is young.[(((triple1) -> rule2))] @2: The bear is blue.[(((((triple1) -> rule2)) -> rule6))] @3: The bear is big.[(((((((triple1) -> rule2)) -> rule6)) -> rule3))]