已知：(1)只有破获03号案件，才能确认甲、乙、丙三人都是罪犯。(2)03号文件没有破获。(3)如果甲不是罪犯，则甲的供词是真的，而甲说乙不是罪犯。(4)如果乙不是罪犯，则乙的供词是真的，而乙说自己与丙是好朋友。(5)丙根本不认识乙。问：根据上述已知情况，甲、乙、丙三人中，谁是罪犯?谁不是罪犯?写出推导过程。
(1)由(1)、(2)，可推出(6)或甲或乙或丙不是罪犯(必要条件假言推理否定前件式)。(2)由(4)、(5)，可推出(7)乙是罪犯(充分条件假言推理否定后件式)。(3)由(3)、(7)，可推出(8)甲是罪犯(充分条件假言推理否定后件式)。(4)由(6)、(7)、(8)，可推出(9)丙不是罪犯(相容选言推理否定肯定式)
