「その比例性は感慨深くないかもしくはそれは掲揚しないかまたは両方だ」ということは嘘である
fact1: 仮にこの昼飯がダイエット効果だし更にそれは進み易いならば「不審死でない」ということは事実だ fact2: もしもこのアイドルが処遇しない一方で無くすとすればこの昼飯は進み易い fact3: 仮に不審死が進み易くないとすればその比例性はダイエット効果である fact4: もしもなんらかのものがダイエット効果でないとすればその比例性は感慨深くないか掲揚しないかあるいは両方ともだ fact5: もしある物が掲揚しないならばそれは不審死でそれに感慨深い fact6: 仮にあのポップカルチャーが進み易いなら処遇しなくてかつダイエット効果でない fact7: この昼飯は不審死であるしおまけにそれは聞き為さる fact8: このアイドルは処遇しないけれどそれは無くす
fact2 & fact8 -> int1: この昼飯は進み易い; void -> assump1: 以下のように仮定する。この昼飯はダイエット効果である; int1 & assump1 -> int2: この昼飯はダイエット効果だしさらに進み易い; int2 & fact1 -> int3: この昼飯は不審死であるということはない; fact7 -> int4: この昼飯は不審死である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この昼飯はダイエット効果でない; int6 -> int7: 「ダイエット効果でない」物はある; int7 & fact4 -> hypothesis;
あのポップカルチャーは処遇しない
fact10 -> int8: もし仮にあのポップカルチャーが掲揚しないとすればそれは不審死であるしまた感慨深い;
$facts$ = fact1: 仮にこの昼飯がダイエット効果だし更にそれは進み易いならば「不審死でない」ということは事実だ fact2: もしもこのアイドルが処遇しない一方で無くすとすればこの昼飯は進み易い fact3: 仮に不審死が進み易くないとすればその比例性はダイエット効果である fact4: もしもなんらかのものがダイエット効果でないとすればその比例性は感慨深くないか掲揚しないかあるいは両方ともだ fact5: もしある物が掲揚しないならばそれは不審死でそれに感慨深い fact6: 仮にあのポップカルチャーが進み易いなら処遇しなくてかつダイエット効果でない fact7: この昼飯は不審死であるしおまけにそれは聞き為さる fact8: このアイドルは処遇しないけれどそれは無くす ; $hypothesis$ = 「その比例性は感慨深くないかもしくはそれは掲揚しないかまたは両方だ」ということは嘘である ; $proof$ = 
fact2 & fact8 -> int1: この昼飯は進み易い; void -> assump1: 以下のように仮定する。この昼飯はダイエット効果である; int1 & assump1 -> int2: この昼飯はダイエット効果だしさらに進み易い; int2 & fact1 -> int3: この昼飯は不審死であるということはない; fact7 -> int4: この昼飯は不審死である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この昼飯はダイエット効果でない; int6 -> int7: 「ダイエット効果でない」物はある; int7 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこの昼飯がダイエット効果だし更にそれは進み易いならば「不審死でない」ということは事実だ
事実2: もしもこのアイドルが処遇しない一方で無くすとすればこの昼飯は進み易い
事実3: 仮に不審死が進み易くないとすればその比例性はダイエット効果である
事実4: もしもなんらかのものがダイエット効果でないとすればその比例性は感慨深くないか掲揚しないかあるいは両方ともだ
事実5: もしある物が掲揚しないならばそれは不審死でそれに感慨深い
事実6: 仮にあのポップカルチャーが進み易いなら処遇しなくてかつダイエット効果でない
事実7: この昼飯は不審死であるしおまけにそれは聞き為さる
事実8: このアイドルは処遇しないけれどそれは無くす

仮説: 「その比例性は感慨深くないかもしくはそれは掲揚しないかまたは両方だ」ということは嘘である
1. 事実2と事実8から、推論1: "この昼飯は進み易い"が導かれる
2. 仮定1: 以下のように仮定する。この昼飯はダイエット効果である
3. 推論1と仮定1から、推論2: "この昼飯はダイエット効果だしさらに進み易い"が導かれる
4. 推論2と事実1から、推論3: "この昼飯は不審死であるということはない"が導かれる
5. 事実7から、推論4: "この昼飯は不審死である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この昼飯はダイエット効果でない"が導かれる
8. 推論6から、推論7: "「ダイエット効果でない」物はある"が導かれる
9. 推論7と事実4から、仮説が否定される

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