Charlie is not furry. Charlie is green. Charlie is quiet. White, quiet things are not nice. Quiet things are kind. If Charlie is cold and Charlie is nice then Charlie is green. White, cold things are green. All white, nice things are not green. Quiet things are not cold. Kind things are white. If something is furry and cold then it is quiet.
Charlie is not cold.
@0: Charlie is green.[(triple2)] Charlie is not furry.[(triple1)] Charlie is quiet.[(triple3)] @1: Charlie is kind.[(((triple3) -> rule2))] Charlie is not cold.[(((triple3) -> rule6))] @2: Charlie is white.[(((((triple3) -> rule2)) -> rule7))] @3: Charlie is not nice.[(((((((triple3) -> rule2)) -> rule7) triple3) -> rule1))]