この細胞達は忝くないがしかしそれは空しい
fact1: この細胞達は監査計画でない fact2: この細胞達が電離放射線だということはないとすると忝いということはない fact3: この細胞達は忝くない fact4: もし仮にこの細胞達は電離放射線でないならば「忝くない一方で空しい」ということは本当である fact5: 「その顕彰碑は電離放射線でない」ということは真実である fact6: この細胞達は電離放射線でない
fact4 & fact6 -> hypothesis;
fact4 & fact6 -> hypothesis;
$facts$ = fact1: この細胞達は監査計画でない fact2: この細胞達が電離放射線だということはないとすると忝いということはない fact3: この細胞達は忝くない fact4: もし仮にこの細胞達は電離放射線でないならば「忝くない一方で空しい」ということは本当である fact5: 「その顕彰碑は電離放射線でない」ということは真実である fact6: この細胞達は電離放射線でない ; $hypothesis$ = この細胞達は忝くないがしかしそれは空しい ; $proof$ = 
fact4 & fact6 -> hypothesis; __PROVED__
事実1: この細胞達は監査計画でない
事実2: この細胞達が電離放射線だということはないとすると忝いということはない
事実3: この細胞達は忝くない
事実4: もし仮にこの細胞達は電離放射線でないならば「忝くない一方で空しい」ということは本当である
事実5: 「その顕彰碑は電離放射線でない」ということは真実である
事実6: この細胞達は電離放射線でない

仮説: この細胞達は忝くないがしかしそれは空しい
1. 事実4と事実6から、仮説が導かれる

よって、仮説が証明されました。