あの労働投入は私らしい
fact1: この葡萄酒税は一夫一婦論でない fact2: もしその麻酔法は一夫一婦論であるならば「この隼人は心地良いがしかししおらしくない」ということは成り立たない fact3: もし仮にその麻酔法は一夫一婦論であるとすると「この隼人は心地良くておまけにしおらしい」ということは嘘だ fact4: 「この隼人はしおらしい」ということは嘘である fact5: もしもあの労働投入が私らしいとしたらこの隼人は心地良いけどしおらしくない fact6: 「この隼人は心地良くて加えてしおらしい」ということは誤っている fact7: その麻酔法はすっごーい一方で焦げ臭くない fact8: もし仮に「なにかは一夫一婦論だけれど御出ししない」ということは事実と異なるとすれば一夫一婦論だということはない fact9: もし仮に何かは焼き過ぎるとすれば一夫一婦論でないししかも私らしいということはない fact10: もしもあの労働投入が私らしいならこの隼人はしおらしくない fact11: その麻酔法は一夫一婦論だ
void -> assump1: 以下のように仮定する。あの労働投入は私らしい; fact5 & assump1 -> int1: この隼人は心地良い一方でしおらしくない; fact2 & fact11 -> int2: 「この隼人は心地良いけどしおらしくない」ということは本当でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの労働投入は私らしい
fact12 -> int4: 「この隼人は一夫一婦論だが御出ししない」ということは間違いなら「一夫一婦論でない」ということは事実である;
$facts$ = fact1: この葡萄酒税は一夫一婦論でない fact2: もしその麻酔法は一夫一婦論であるならば「この隼人は心地良いがしかししおらしくない」ということは成り立たない fact3: もし仮にその麻酔法は一夫一婦論であるとすると「この隼人は心地良くておまけにしおらしい」ということは嘘だ fact4: 「この隼人はしおらしい」ということは嘘である fact5: もしもあの労働投入が私らしいとしたらこの隼人は心地良いけどしおらしくない fact6: 「この隼人は心地良くて加えてしおらしい」ということは誤っている fact7: その麻酔法はすっごーい一方で焦げ臭くない fact8: もし仮に「なにかは一夫一婦論だけれど御出ししない」ということは事実と異なるとすれば一夫一婦論だということはない fact9: もし仮に何かは焼き過ぎるとすれば一夫一婦論でないししかも私らしいということはない fact10: もしもあの労働投入が私らしいならこの隼人はしおらしくない fact11: その麻酔法は一夫一婦論だ ; $hypothesis$ = あの労働投入は私らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの労働投入は私らしい; fact5 & assump1 -> int1: この隼人は心地良い一方でしおらしくない; fact2 & fact11 -> int2: 「この隼人は心地良いけどしおらしくない」ということは本当でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: この葡萄酒税は一夫一婦論でない
事実2: もしその麻酔法は一夫一婦論であるならば「この隼人は心地良いがしかししおらしくない」ということは成り立たない
事実3: もし仮にその麻酔法は一夫一婦論であるとすると「この隼人は心地良くておまけにしおらしい」ということは嘘だ
事実4: 「この隼人はしおらしい」ということは嘘である
事実5: もしもあの労働投入が私らしいとしたらこの隼人は心地良いけどしおらしくない
事実6: 「この隼人は心地良くて加えてしおらしい」ということは誤っている
事実7: その麻酔法はすっごーい一方で焦げ臭くない
事実8: もし仮に「なにかは一夫一婦論だけれど御出ししない」ということは事実と異なるとすれば一夫一婦論だということはない
事実9: もし仮に何かは焼き過ぎるとすれば一夫一婦論でないししかも私らしいということはない
事実10: もしもあの労働投入が私らしいならこの隼人はしおらしくない
事実11: その麻酔法は一夫一婦論だ

仮説: あの労働投入は私らしい
1. 仮定1: 以下のように仮定する。あの労働投入は私らしい
2. 事実5と仮定1から、推論1: "この隼人は心地良い一方でしおらしくない"が導かれる
3. 事実2と事実11から、推論2: "「この隼人は心地良いけどしおらしくない」ということは本当でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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