The bear is nice. If someone is nice then they are big. If someone is big then they are blue. If the bear is not big then the bear is blue. Blue, nice people are rough. If someone is nice and not blue then they are rough. If someone is blue then they are cold. If someone is nice and not rough then they are cold. If someone is blue and nice then they are cold.
The bear is rough.
@0: The bear is nice.[(triple1)] @1: The bear is big.[(((triple1) -> rule1))] @2: The bear is blue.[(((((triple1) -> rule1)) -> rule2))] @3: The bear is cold.[(((((((triple1) -> rule1)) -> rule2)) -> rule6) OR ((((((triple1) -> rule1)) -> rule2) triple1) -> rule8))] The bear is rough.[(((((((triple1) -> rule1)) -> rule2) triple1) -> rule4))]