この穿通は皮肉っぽくないしおまけに議論出来ない
fact1: もしあの大企業経営者は愛慕すれば「それは免れ難いがしかしなあくない」ということは嘘だ fact2: もし仮にとある物は流行性感冒でないとすれば「この穿通は皮肉っぽくないし議論出来ない」ということは誤りだ fact3: 「なあくないしさらに愛慕する」ものはある fact4: 「なあいということはないしその上愛慕するということはない」ものはある fact5: あるものが免れ難くないとしたらそれは流行性感冒でない fact6: 「あの大企業経営者は皮肉っぽいけどそれは流行性感冒でない」ということは事実と異なる fact7: もし仮にあるものがなあいなら皮肉っぽいということはないしかつ議論出来るということはない fact8: もしもなあくない物は愛慕しないとすると「あの大企業経営者は免れ難いということはない」ということは真実だ
fact4 & fact8 -> int1: あの大企業経営者は免れ難いということはない; fact5 -> int2: もし仮にあの大企業経営者が免れ難くないならばそれは流行性感冒であるということはない; int1 & int2 -> int3: あの大企業経営者は流行性感冒だということはない; int3 -> int4: 「流行性感冒でない」ものはある; int4 & fact2 -> hypothesis;
この穿通は皮肉っぽくないし更に議論出来ない
fact9 -> int5: 仮にこの穿通がなあいならば皮肉っぽくなくてしかも議論出来ない;
$facts$ = fact1: もしあの大企業経営者は愛慕すれば「それは免れ難いがしかしなあくない」ということは嘘だ fact2: もし仮にとある物は流行性感冒でないとすれば「この穿通は皮肉っぽくないし議論出来ない」ということは誤りだ fact3: 「なあくないしさらに愛慕する」ものはある fact4: 「なあいということはないしその上愛慕するということはない」ものはある fact5: あるものが免れ難くないとしたらそれは流行性感冒でない fact6: 「あの大企業経営者は皮肉っぽいけどそれは流行性感冒でない」ということは事実と異なる fact7: もし仮にあるものがなあいなら皮肉っぽいということはないしかつ議論出来るということはない fact8: もしもなあくない物は愛慕しないとすると「あの大企業経営者は免れ難いということはない」ということは真実だ ; $hypothesis$ = この穿通は皮肉っぽくないしおまけに議論出来ない ; $proof$ = 
fact4 & fact8 -> int1: あの大企業経営者は免れ難いということはない; fact5 -> int2: もし仮にあの大企業経営者が免れ難くないならばそれは流行性感冒であるということはない; int1 & int2 -> int3: あの大企業経営者は流行性感冒だということはない; int3 -> int4: 「流行性感冒でない」ものはある; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もしあの大企業経営者は愛慕すれば「それは免れ難いがしかしなあくない」ということは嘘だ
事実2: もし仮にとある物は流行性感冒でないとすれば「この穿通は皮肉っぽくないし議論出来ない」ということは誤りだ
事実3: 「なあくないしさらに愛慕する」ものはある
事実4: 「なあいということはないしその上愛慕するということはない」ものはある
事実5: あるものが免れ難くないとしたらそれは流行性感冒でない
事実6: 「あの大企業経営者は皮肉っぽいけどそれは流行性感冒でない」ということは事実と異なる
事実7: もし仮にあるものがなあいなら皮肉っぽいということはないしかつ議論出来るということはない
事実8: もしもなあくない物は愛慕しないとすると「あの大企業経営者は免れ難いということはない」ということは真実だ

仮説: この穿通は皮肉っぽくないしおまけに議論出来ない
1. 事実4と事実8から、推論1: "あの大企業経営者は免れ難いということはない"が導かれる
2. 事実5から、推論2: "もし仮にあの大企業経営者が免れ難くないならばそれは流行性感冒であるということはない"が導かれる
3. 推論1と推論2から、推論3: "あの大企業経営者は流行性感冒だということはない"が導かれる
4. 推論3から、推論4: "「流行性感冒でない」ものはある"が導かれる
5. 推論4と事実2から、仮説が否定される

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