The bear is rough. All red, young things are nice. If the bear is nice and the bear is red then the bear is young. All rough, red things are young. Rough things are nice. If something is kind then it is red. Kind things are nice. If the bear is nice then the bear is kind. If the bear is nice and the bear is red then the bear is rough.
The bear is kind.
@0: The bear is rough.[(triple1)] @1: The bear is nice.[(((triple1) -> rule4))] @2: The bear is kind.[(((((triple1) -> rule4)) -> rule7))] @3: The bear is red.[(((((((triple1) -> rule4)) -> rule7)) -> rule5))] @4: The bear is young.[(((triple1 ((((((triple1) -> rule4)) -> rule7)) -> rule5)) -> rule3) OR ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule7)) -> rule5)) -> rule2))]