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.
Gary is quiet.
@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))]