The bear is cold. Cold people are nice. All big people are nice. Nice, young people are not big. Cold people are not big. If someone is cold and nice then they are young. If someone is young and not big then they are rough.
The bear is rough.
@0: The bear is cold.[(triple1)] @1: The bear is nice.[(((triple1) -> rule1))] The bear is not big.[(((triple1) -> rule4) OR ((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule3))] @2: The bear is young.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: The bear is rough.[(((((triple1 ((triple1) -> rule1)) -> rule5) ((triple1) -> rule4)) -> rule6) OR ((((triple1 ((triple1) -> rule1)) -> rule5) ((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule5)) -> rule3)) -> rule6))]