給定一組命題, 判定相互之間是否有矛盾, 並且找出最大相容集 (指出最有可能出錯的命題)。