The bear is nice. If the bear is blue and the bear is rough then the bear is nice. If someone is nice and blue then they are young. Nice people are red. If the bear is red then the bear is young. Nice, young people are blue. If someone is blue then they are young. Blue, rough people are nice. Young people are rough.
The bear is not nice.
@0: The bear is nice.[(triple1)] @1: The bear is red.[(((triple1) -> rule3))] @2: The bear is young.[(((((triple1) -> rule3)) -> rule4))] @3: The bear is blue.[(((triple1 ((((triple1) -> rule3)) -> rule4)) -> rule5))] The bear is rough.[(((((((triple1) -> rule3)) -> rule4)) -> rule8))]