「この苦瓜ゼリーは展開し易い」ということは成り立たない
fact1: その具体相は託すし更に当たり難い fact2: あの金品は託す fact3: 「その検討内容は気持ち良くないがそれは半田付けする」ということは成り立たない fact4: 仮にこの端が整い過ぎないとすればそれは出現し易くない fact5: 仮にこの苦瓜ゼリーが託さないとするとその具体相は当たり難い fact6: もしもその具体相が託すしかつ当たり難いとすればその検討内容は半田付けしない fact7: この端は整い過ぎる fact8: この苦瓜ゼリーは強制管理である fact9: もし「「君らしくないしおまけに受け入れ易い」ということは嘘である」物があるならその検討内容は洗髪する fact10: 「「君らしくないけれど受け入れ易い」ということは誤っている」物はある fact11: もし出現し易いものが半田付けするとすれば展開し易くない fact12: あの維持費は妬ましくない fact13: もし仮になにがしかの物は強制管理であるならば託す fact14: もし仮になんらかの物は整い過ぎないとすると「出現し易いということはない」ということは事実だ fact15: その具体相は整い過ぎる fact16: もし「あるものは当たり難いということはないが託す」ということは間違いだとすればそれは展開し易くない fact17: その具体相は当たり難い fact18: 「とある物は妬ましくないがしかしそれは整い過ぎる」ということは誤りだとするとそれは出現し易くない fact19: もしもこの苦瓜ゼリーが気持ち良いとすると展開し易い fact20: なんらかのものは洗髪するとしたら「それはＤＶＤドライブでなくてそれに当たり難い」ということは偽である fact21: この端が妬ましくない一方でそれが整い過ぎるとしたらこの苦瓜ゼリーは気持ち良い fact22: もしあるものは気持ち良いということはないが託すとすれば出現し易い fact23: その具体相は妬ましくない fact24: もし仮に「この端は出現し易くない」ということは本当であるとすればその検討内容は半田付けする fact25: この苦瓜ゼリーは妬ましくない
fact18 -> int1: もし仮に「この端は妬ましくないけれどそれは整い過ぎる」ということは成り立たないならばそれは出現し易くない; void -> assump1: 以下のように仮定する。「この端は妬ましくない一方で整い過ぎる」ということは事実と異なる; int1 & assump1 -> int2: この端は出現し易くない; int2 & fact24 -> int3: その検討内容は半田付けする; fact6 & fact1 -> int4: その検討内容は半田付けしない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この端は妬ましくないけど整い過ぎる; int6 & fact21 -> int7: この苦瓜ゼリーは気持ち良い; int7 & fact19 -> hypothesis;
「この苦瓜ゼリーは展開し易くない」ということは成り立つ
fact29 -> int8: もしこの苦瓜ゼリーが出現し易いし更に半田付けするとしたら展開し易くない; fact28 -> int9: もしこの苦瓜ゼリーは気持ち良くないけれど託すとすると出現し易い; fact30 -> int10: もしもその検討内容は洗髪すれば「それはＤＶＤドライブでないし加えて当たり難い」ということは誤りだ; fact26 & fact31 -> int11: その検討内容は洗髪する; int10 & int11 -> int12: 「その検討内容はＤＶＤドライブでないがしかし当たり難い」ということは成り立つということはない; int12 -> int13: 「「ＤＶＤドライブでないし当たり難い」ということは成り立たない」ものはある; fact32 -> int14: もしこの苦瓜ゼリーは強制管理であるとするとそれは託す; int14 & fact27 -> int15: この苦瓜ゼリーは託す;
$facts$ = fact1: その具体相は託すし更に当たり難い fact2: あの金品は託す fact3: 「その検討内容は気持ち良くないがそれは半田付けする」ということは成り立たない fact4: 仮にこの端が整い過ぎないとすればそれは出現し易くない fact5: 仮にこの苦瓜ゼリーが託さないとするとその具体相は当たり難い fact6: もしもその具体相が託すしかつ当たり難いとすればその検討内容は半田付けしない fact7: この端は整い過ぎる fact8: この苦瓜ゼリーは強制管理である fact9: もし「「君らしくないしおまけに受け入れ易い」ということは嘘である」物があるならその検討内容は洗髪する fact10: 「「君らしくないけれど受け入れ易い」ということは誤っている」物はある fact11: もし出現し易いものが半田付けするとすれば展開し易くない fact12: あの維持費は妬ましくない fact13: もし仮になにがしかの物は強制管理であるならば託す fact14: もし仮になんらかの物は整い過ぎないとすると「出現し易いということはない」ということは事実だ fact15: その具体相は整い過ぎる fact16: もし「あるものは当たり難いということはないが託す」ということは間違いだとすればそれは展開し易くない fact17: その具体相は当たり難い fact18: 「とある物は妬ましくないがしかしそれは整い過ぎる」ということは誤りだとするとそれは出現し易くない fact19: もしもこの苦瓜ゼリーが気持ち良いとすると展開し易い fact20: なんらかのものは洗髪するとしたら「それはＤＶＤドライブでなくてそれに当たり難い」ということは偽である fact21: この端が妬ましくない一方でそれが整い過ぎるとしたらこの苦瓜ゼリーは気持ち良い fact22: もしあるものは気持ち良いということはないが託すとすれば出現し易い fact23: その具体相は妬ましくない fact24: もし仮に「この端は出現し易くない」ということは本当であるとすればその検討内容は半田付けする fact25: この苦瓜ゼリーは妬ましくない ; $hypothesis$ = 「この苦瓜ゼリーは展開し易い」ということは成り立たない ; $proof$ = 
fact18 -> int1: もし仮に「この端は妬ましくないけれどそれは整い過ぎる」ということは成り立たないならばそれは出現し易くない; void -> assump1: 以下のように仮定する。「この端は妬ましくない一方で整い過ぎる」ということは事実と異なる; int1 & assump1 -> int2: この端は出現し易くない; int2 & fact24 -> int3: その検討内容は半田付けする; fact6 & fact1 -> int4: その検討内容は半田付けしない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この端は妬ましくないけど整い過ぎる; int6 & fact21 -> int7: この苦瓜ゼリーは気持ち良い; int7 & fact19 -> hypothesis; __DISPROVED__
事実1: その具体相は託すし更に当たり難い
事実2: あの金品は託す
事実3: 「その検討内容は気持ち良くないがそれは半田付けする」ということは成り立たない
事実4: 仮にこの端が整い過ぎないとすればそれは出現し易くない
事実5: 仮にこの苦瓜ゼリーが託さないとするとその具体相は当たり難い
事実6: もしもその具体相が託すしかつ当たり難いとすればその検討内容は半田付けしない
事実7: この端は整い過ぎる
事実8: この苦瓜ゼリーは強制管理である
事実9: もし「「君らしくないしおまけに受け入れ易い」ということは嘘である」物があるならその検討内容は洗髪する
事実10: 「「君らしくないけれど受け入れ易い」ということは誤っている」物はある
事実11: もし出現し易いものが半田付けするとすれば展開し易くない
事実12: あの維持費は妬ましくない
事実13: もし仮になにがしかの物は強制管理であるならば託す
事実14: もし仮になんらかの物は整い過ぎないとすると「出現し易いということはない」ということは事実だ
事実15: その具体相は整い過ぎる
事実16: もし「あるものは当たり難いということはないが託す」ということは間違いだとすればそれは展開し易くない
事実17: その具体相は当たり難い
事実18: 「とある物は妬ましくないがしかしそれは整い過ぎる」ということは誤りだとするとそれは出現し易くない
事実19: もしもこの苦瓜ゼリーが気持ち良いとすると展開し易い
事実20: なんらかのものは洗髪するとしたら「それはＤＶＤドライブでなくてそれに当たり難い」ということは偽である
事実21: この端が妬ましくない一方でそれが整い過ぎるとしたらこの苦瓜ゼリーは気持ち良い
事実22: もしあるものは気持ち良いということはないが託すとすれば出現し易い
事実23: その具体相は妬ましくない
事実24: もし仮に「この端は出現し易くない」ということは本当であるとすればその検討内容は半田付けする
事実25: この苦瓜ゼリーは妬ましくない

仮説: 「この苦瓜ゼリーは展開し易い」ということは成り立たない
1. 事実18から、推論1: "もし仮に「この端は妬ましくないけれどそれは整い過ぎる」ということは成り立たないならばそれは出現し易くない"が導かれる
2. 仮定1: 以下のように仮定する。「この端は妬ましくない一方で整い過ぎる」ということは事実と異なる
3. 推論1と仮定1から、推論2: "この端は出現し易くない"が導かれる
4. 推論2と事実24から、推論3: "その検討内容は半田付けする"が導かれる
5. 事実6と事実1から、推論4: "その検討内容は半田付けしない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この端は妬ましくないけど整い過ぎる"が導かれる
8. 推論6と事実21から、推論7: "この苦瓜ゼリーは気持ち良い"が導かれる
9. 推論7と事実19から、仮説が否定される

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