The bear is rough. If something is blue then it is rough. Round, young things are red. If something is blue and round then it is red. Young, blue things are red. Blue, rough things are young. If something is blue then it is young. If the bear is rough and the bear is red then the bear is blue. Rough things are blue.
The bear is not round.
@0: The bear is rough.[(triple1)] @1: The bear is blue.[(((triple1) -> rule8))] @2: The bear is young.[(((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8) triple1) -> rule5))] @3: The bear is red.[(((((((triple1) -> rule8)) -> rule6) ((triple1) -> rule8)) -> rule4) OR ((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4))]