Anne is quiet. Gary is not green. Furry things are not big. Smart things are not cold. If something is big and not furry then it is smart. If Gary is not green then Gary is cold. Smart things are quiet. If something is furry and not big then it is quiet. If something is quiet and smart then it is round. If Gary is smart and Gary is not quiet then Gary is round.
Gary is furry.
@0: Anne is quiet.[(triple1)] Gary is not green.[(triple2)] @1: Gary is cold.[(((triple2) -> rule4))]