Anne is young. Charlie is quiet. Dave is round. Gary is not quiet. Green, round things are furry. If something is round then it is not cold.
Dave is not furry.
@0: Anne is young.[(triple1)] Charlie is quiet.[(triple2)] Dave is round.[(triple3)] Gary is not quiet.[(triple4)] @1: Dave is not cold.[(((triple3) -> rule2))]