Charlie is cold. Charlie is quiet. Gary is kind. All quiet, red things are not nice. If something is kind then it is nice. If Charlie is nice then Charlie is quiet. All red, quiet things are furry. If something is furry and not nice then it is cold. If something is white and not kind then it is not cold.
Gary is not cold.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Gary is kind.[(triple3)] @1: Gary is nice.[(((triple3) -> rule2))]