Charlie is not big. If Charlie is not young then Charlie is red. Kind things are red. Quiet, young things are red. If Charlie is young and Charlie is big then Charlie is not rough. If Charlie is not big then Charlie is not white. If something is rough then it is white.
Charlie is not red.
@0: Charlie is not big.[(triple1)] @1: Charlie is not white.[(((triple1) -> rule5))]