The bear is big. Big, young things are round. Young things are round. Green things are round. If something is blue and not young then it is round. All blue things are round. Round, young things are not big. Round, green things are blue. Big things are green.
The bear is not round.
@0: The bear is big.[(triple1)] @1: The bear is green.[(((triple1) -> rule8))] @2: The bear is round.[(((((triple1) -> rule8)) -> rule3))] @3: The bear is blue.[(((((((triple1) -> rule8)) -> rule3) ((triple1) -> rule8)) -> rule7))]