Anne is blue. Anne is cold. Anne is kind. Anne is smart. Anne is white. Charlie is smart. Erin is smart. Gary is cold. Gary is kind. Gary is smart. Cold things are blue. If something is white then it is cold. All smart, blue things are furry. Quiet things are cold. Blue things are furry. If something is smart then it is white. If Erin is quiet then Erin is blue. All smart, blue things are cold. Smart, furry things are quiet.
Gary is not furry.