32. Specify the following puzzle in propositional logic and convert the specification into CNF. Find the model of your CNF and use this model to construct a solution of the puzzle. Four kids, Abel, Bob, Carol, and David, are eating lunch on a hot summer day. Each has a big glass of water, a sandwich, and a different type of fruit (apple, banana, orange, and grapes). Which fruit did each child have? The given clues are: (a) Abel and Bob have to peel their fruit before eating. (b) Carol doesn't like grapes. (c) Abel has a napkin to wipe the juice from his fingers