「その食物網は投宿しないかもしくはそれは作業順序計画である」ということは間違っている
fact1: もしこの事自体が気まずいならばあの食物網は投宿するかもしくは作業順序計画であるか両方ともである fact2: しても良くないものは気まずいということはないかもしくは塩味するかもしくは両方だ fact3: この事自体は気まずくないかもしくは作業順序計画であるかもしくは両方ともだ fact4: もし仮に「なにかはしても良くない」ということは本当なら「投宿しないかあるいはそれは作業順序計画であるかあるいは両方だ」ということは誤りである fact5: この事自体が気まずいならその食物網は投宿しないかもしくは作業順序計画であるかどちらもだ fact6: 作業順序計画はしても良いけれど投宿するということはない fact7: 仮になんらかの物は朴念仁でないなら作業順序計画であるしそれにＱ信号である fact8: もしも「この名誉博士号はしても良い」ということは真実であるならばこの事自体は気まずい fact9: あの心臓病予防は作業順序計画である fact10: この名誉博士号が気まずいとすればあの事自体はしても良い fact11: もし仮にこの名誉博士号がしても良いがしかし投宿しないならその新工場はしても良くない fact12: この名誉博士号はしても良い
fact8 & fact12 -> int1: この事自体は気まずい; int1 & fact5 -> hypothesis;
fact8 & fact12 -> int1: {B}{b}; int1 & fact5 -> hypothesis;
その新工場は気まずくないかまたは塩味するかもしくはどちらもである
fact14 -> int2: もし仮に「その新工場はしても良くない」ということは確かであるならそれは気まずくないかあるいはそれは塩味するかもしくは両方である; fact16 -> int3: もし仮にこの名誉博士号は作業順序計画であるとしたらしても良いけど投宿しない; fact13 -> int4: 「もしこの名誉博士号が朴念仁でないならこの名誉博士号は作業順序計画でＱ信号だ」ということは成り立つ;
$facts$ = fact1: もしこの事自体が気まずいならばあの食物網は投宿するかもしくは作業順序計画であるか両方ともである fact2: しても良くないものは気まずいということはないかもしくは塩味するかもしくは両方だ fact3: この事自体は気まずくないかもしくは作業順序計画であるかもしくは両方ともだ fact4: もし仮に「なにかはしても良くない」ということは本当なら「投宿しないかあるいはそれは作業順序計画であるかあるいは両方だ」ということは誤りである fact5: この事自体が気まずいならその食物網は投宿しないかもしくは作業順序計画であるかどちらもだ fact6: 作業順序計画はしても良いけれど投宿するということはない fact7: 仮になんらかの物は朴念仁でないなら作業順序計画であるしそれにＱ信号である fact8: もしも「この名誉博士号はしても良い」ということは真実であるならばこの事自体は気まずい fact9: あの心臓病予防は作業順序計画である fact10: この名誉博士号が気まずいとすればあの事自体はしても良い fact11: もし仮にこの名誉博士号がしても良いがしかし投宿しないならその新工場はしても良くない fact12: この名誉博士号はしても良い ; $hypothesis$ = 「その食物網は投宿しないかもしくはそれは作業順序計画である」ということは間違っている ; $proof$ = 
fact8 & fact12 -> int1: この事自体は気まずい; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: もしこの事自体が気まずいならばあの食物網は投宿するかもしくは作業順序計画であるか両方ともである
事実2: しても良くないものは気まずいということはないかもしくは塩味するかもしくは両方だ
事実3: この事自体は気まずくないかもしくは作業順序計画であるかもしくは両方ともだ
事実4: もし仮に「なにかはしても良くない」ということは本当なら「投宿しないかあるいはそれは作業順序計画であるかあるいは両方だ」ということは誤りである
事実5: この事自体が気まずいならその食物網は投宿しないかもしくは作業順序計画であるかどちらもだ
事実6: 作業順序計画はしても良いけれど投宿するということはない
事実7: 仮になんらかの物は朴念仁でないなら作業順序計画であるしそれにＱ信号である
事実8: もしも「この名誉博士号はしても良い」ということは真実であるならばこの事自体は気まずい
事実9: あの心臓病予防は作業順序計画である
事実10: この名誉博士号が気まずいとすればあの事自体はしても良い
事実11: もし仮にこの名誉博士号がしても良いがしかし投宿しないならその新工場はしても良くない
事実12: この名誉博士号はしても良い

仮説: 「その食物網は投宿しないかもしくはそれは作業順序計画である」ということは間違っている
1. 事実8と事実12から、推論1: "この事自体は気まずい"が導かれる
2. 推論1と事実5から、仮説が否定される

よって、仮説が否定されました。