In this thesis, we use commonsense reasoning and graph representation to study two different new types of logical puzzles with three types of people. In the first type of puzzles, any person in the puzzle can be either ...