Anne is furry. Anne is quiet. Anne is smart. Erin is big. Erin is blue. Erin is quiet. Gary is big. Gary is cold. Gary is furry. Harry is blue. Smart people are big. If Anne is furry then Anne is smart. Cold, big people are quiet.
Harry is not big.