Erin is furry. Erin is nice. Erin is quiet. Erin is smart. Erin is young. Gary is nice. Gary is quiet. All big things are furry. All big things are cold. If Erin is quiet then Erin is cold. All furry things are smart. If Gary is furry and Gary is cold then Gary is smart. If Gary is nice then Gary is furry. If Erin is young and Erin is smart then Erin is furry. All smart things are nice.
Gary is not cold.