Charlie is cold. If something is cold and not kind then it is not green. Round things are not green. All quiet, cold things are blue. If something is kind and round then it is not quiet. Red things are round. Red things are round. If something is cold then it is red. Round things are red.
Charlie is not cold.
@0: Charlie is cold.[(triple1)] @1: Charlie is red.[(((triple1) -> rule7))] @2: Charlie is round.[(((((triple1) -> rule7)) -> rule5) OR ((((triple1) -> rule7)) -> rule6))] @3: Charlie is not green.[(((((((triple1) -> rule7)) -> rule5)) -> rule2) OR ((((((triple1) -> rule7)) -> rule6)) -> rule2))]