Charlie is cold. Charlie is not kind. Charlie is not red. If something is furry and kind then it is red. If something is cold then it is furry. Furry things are cold. Furry things are cold. Red things are not rough. If Charlie is not red then Charlie is rough. If something is rough then it is young. If something is kind and not green then it is not young.
Charlie is not kind.
@0: Charlie is cold.[(triple1)] Charlie is not kind.[(triple2)] Charlie is not red.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule2))] Charlie is rough.[(((triple3) -> rule6))] @2: Charlie is young.[(((((triple3) -> rule6)) -> rule7))]