そのほんだわらは残胃だ
fact1: もしなにがしかのものは宥めないとすれば「それは脂っぽいしそれに疾し」ということは成り立たない fact2: もし仮に「なんらかの物は高ししそれは思い出深い」ということは偽であるなら見付け易くない fact3: もしも「なにがしかのものは果てし無いし高し」ということは偽だとするとそれは残胃でない fact4: もしその休日が細長くないかそれはＨＴＭＬ表であるとするとそれは果てし無くない fact5: その休日は細長くないかまたはＨＴＭＬ表であるかもしくは両方である fact6: もしもそのほんだわらは残胃でないとしたら細長くない fact7: 仮にそのほんだわらが果てし無くないとすればそれは残胃でない fact8: もし「「脂っぽいし疾し」ということは間違いである」ものがあるならそのほんだわらは聞き辛くない fact9: 「全ての物は御漏らしであるがしかし宥めない」ということは間違いでない fact10: その南北が始末出来るなら果てし無くない fact11: もしそのほんだわらはＨＴＭＬ表でないとするとそれは果てし無いということはない fact12: もし仮にその休日は果てし無くないとすれば「そのほんだわらは果てし無くてそれに高し」ということは嘘である fact13: この音感は果てし無くない
fact4 & fact5 -> int1: その休日は果てし無くない; int1 & fact12 -> int2: 「そのほんだわらは果てし無いし高し」ということは誤っている; fact3 -> int3: 「そのほんだわらは果てし無くてさらに高し」ということは成り立たないとするとそれは残胃であるということはない; int2 & int3 -> hypothesis;
もし「その休日は高しししかも思い出深い」ということは成り立つということはないとしたらそれは見付け易くない
fact14 -> hypothesis;
$facts$ = fact1: もしなにがしかのものは宥めないとすれば「それは脂っぽいしそれに疾し」ということは成り立たない fact2: もし仮に「なんらかの物は高ししそれは思い出深い」ということは偽であるなら見付け易くない fact3: もしも「なにがしかのものは果てし無いし高し」ということは偽だとするとそれは残胃でない fact4: もしその休日が細長くないかそれはＨＴＭＬ表であるとするとそれは果てし無くない fact5: その休日は細長くないかまたはＨＴＭＬ表であるかもしくは両方である fact6: もしもそのほんだわらは残胃でないとしたら細長くない fact7: 仮にそのほんだわらが果てし無くないとすればそれは残胃でない fact8: もし「「脂っぽいし疾し」ということは間違いである」ものがあるならそのほんだわらは聞き辛くない fact9: 「全ての物は御漏らしであるがしかし宥めない」ということは間違いでない fact10: その南北が始末出来るなら果てし無くない fact11: もしそのほんだわらはＨＴＭＬ表でないとするとそれは果てし無いということはない fact12: もし仮にその休日は果てし無くないとすれば「そのほんだわらは果てし無くてそれに高し」ということは嘘である fact13: この音感は果てし無くない ; $hypothesis$ = そのほんだわらは残胃だ ; $proof$ = 
fact4 & fact5 -> int1: その休日は果てし無くない; int1 & fact12 -> int2: 「そのほんだわらは果てし無いし高し」ということは誤っている; fact3 -> int3: 「そのほんだわらは果てし無くてさらに高し」ということは成り立たないとするとそれは残胃であるということはない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものは宥めないとすれば「それは脂っぽいしそれに疾し」ということは成り立たない
事実2: もし仮に「なんらかの物は高ししそれは思い出深い」ということは偽であるなら見付け易くない
事実3: もしも「なにがしかのものは果てし無いし高し」ということは偽だとするとそれは残胃でない
事実4: もしその休日が細長くないかそれはＨＴＭＬ表であるとするとそれは果てし無くない
事実5: その休日は細長くないかまたはＨＴＭＬ表であるかもしくは両方である
事実6: もしもそのほんだわらは残胃でないとしたら細長くない
事実7: 仮にそのほんだわらが果てし無くないとすればそれは残胃でない
事実8: もし「「脂っぽいし疾し」ということは間違いである」ものがあるならそのほんだわらは聞き辛くない
事実9: 「全ての物は御漏らしであるがしかし宥めない」ということは間違いでない
事実10: その南北が始末出来るなら果てし無くない
事実11: もしそのほんだわらはＨＴＭＬ表でないとするとそれは果てし無いということはない
事実12: もし仮にその休日は果てし無くないとすれば「そのほんだわらは果てし無くてそれに高し」ということは嘘である
事実13: この音感は果てし無くない

仮説: そのほんだわらは残胃だ
1. 事実4と事実5から、推論1: "その休日は果てし無くない"が導かれる
2. 推論1と事実12から、推論2: "「そのほんだわらは果てし無いし高し」ということは誤っている"が導かれる
3. 事実3から、推論3: "「そのほんだわらは果てし無くてさらに高し」ということは成り立たないとするとそれは残胃であるということはない"が導かれる
4. 推論2と推論3から、仮説が否定される

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