Anne is furry. Gary is furry. If something is quiet then it is not young. Kind, blue things are young. Kind things are smart. If Anne is kind then Anne is not smart. If Gary is blue then Gary is green. Smart things are quiet. Smart things are not quiet. If something is quiet and young then it is kind.
Gary is not furry.
@0: Anne is furry.[(triple1)] Gary is furry.[(triple2)]