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