Bob is red. Bob is smart. Erin is red. Erin is smart. Gary is kind. Harry is nice. Harry is not smart. If something is not cold then it is white. If something is white and not smart then it is not cold.
Harry is not nice.