Charlie is smart. If something is smart and red then it is green. Blue, smart things are not green. If something is white and smart then it is not green. If Charlie is green then Charlie is not quiet. If Charlie is smart then Charlie is red. All smart things are not blue. If Charlie is not white then Charlie is blue. If something is green and not white then it is not furry.
Charlie is not white.
@0: Charlie is smart.[(triple1)] @1: Charlie is not blue.[(((triple1) -> rule6))] Charlie is red.[(((triple1) -> rule5))] @2: Charlie is green.[(((triple1 ((triple1) -> rule5)) -> rule1))] @3: Charlie is not quiet.[(((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4))]