The bear is young. If the bear is young and the bear is blue then the bear is green. If the bear is young then the bear is green. If someone is blue and not young then they are green. Young, kind people are green. If someone is blue then they are not green. If someone is kind and not young then they are green. If someone is blue and not young then they are kind. If someone is green then they are kind.
The bear is young.
@0: The bear is young.[(triple1)] @1: The bear is green.[(((triple1) -> rule2))] @2: The bear is kind.[(((((triple1) -> rule2)) -> rule8))]