Gary is round. Gary is young. Harry is round. All cold things are furry. Young things are quiet. All furry, young things are blue. If Harry is cold and Harry is young then Harry is big. All cold things are big. If something is big and cold then it is blue. Round, big things are furry. If Harry is round and Harry is big then Harry is blue.
Harry is blue.
@0: Gary is round.[(triple1)] Gary is young.[(triple2)] Harry is round.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule2))]