この原鑑定書は兵達でない
fact1: そのカルデラ湖は複数登録する fact2: もしもなにがしかの物は若々しかないとすれば「それは泌乳期であるしかつ難行苦行でない」ということは間違いである fact3: 「この伝送速度はがっしりしない」ということは成り立つ fact4: 若々しいものは泌乳期であるが緩下薬でない fact5: もしも「何らかのものは情けなくて兵達である」ということは嘘であるとすれば兵達でない fact6: もし情けない物が難行苦行であるとしたらその妻壁は若々しい fact7: この伝送速度は連れ帰る fact8: 「仮に「なにがしかの物は泌乳期であるけど難行苦行でない」ということは誤っているとすると難行苦行である」ということは成り立つ fact9: この大麻抽出物はがっしりする fact10: 仮に「この伝送速度は若々しい一方で緩下薬であるということはない」ということは偽だとするとそれは若々しかない fact11: この冷たさは複数登録する fact12: もし「この伝送速度は物々しかないかもしくは連れ帰らない」ということは成り立たないならばあのカルデラ湖は情けない fact13: 「この伝送速度は物々しいということはないか連れ帰らないかもしくは両方ともである」ということは成り立たない fact14: 「もしもそのカルデラ湖が複数登録すればそのカルデラ湖は難行苦行である」ということは真実だ fact15: 仮にあるものが緩下薬でないとすればがっしりしないかもしくはほっくりするか両方である fact16: もし仮にその妻壁ががっしりしないかまたはそれがほっくりするかまたは両方であるならこの原鑑定書は兵達である fact17: もし仮になにかはがっしりしないなら「それは若々しい一方で緩下薬でない」ということは嘘である
fact12 & fact13 -> int1: そのカルデラ湖は情けない; fact14 & fact1 -> int2: そのカルデラ湖は難行苦行だ; int1 & int2 -> int3: そのカルデラ湖は情けないし更にそれは難行苦行である; int3 -> int4: 「情けないしかつ難行苦行な」物はある; int4 & fact6 -> int5: その妻壁は若々しい; fact4 -> int6: その妻壁が若々しいとしたらそれは泌乳期であるが緩下薬でない; int5 & int6 -> int7: その妻壁は泌乳期である一方で緩下薬でない; int7 -> int8: その妻壁は緩下薬でない; fact15 -> int9: もしもその妻壁が緩下薬だということはないならばがっしりしないかほっくりする; int8 & int9 -> int10: その妻壁はがっしりするということはないかそれはほっくりするかもしくは両方だ; int10 & fact16 -> hypothesis;
この原鑑定書は兵達でない
fact18 -> int11: もし仮に「この原鑑定書は情けなくてかつ兵達である」ということは成り立たないならばそれは兵達でない; fact23 -> int12: 仮に「「この伝送速度は泌乳期であるけれど難行苦行だということはない」ということは成り立つ」ということは成り立たないとすれば難行苦行である; fact19 -> int13: もしもこの伝送速度は若々しかないとしたら「それは泌乳期であるけど難行苦行でない」ということは偽だ; fact22 -> int14: もしもこの伝送速度はがっしりしないなら「それは若々しいしそれは緩下薬でない」ということは間違っている; int14 & fact20 -> int15: 「「この伝送速度は若々しい一方で緩下薬でない」ということは正しい」ということは成り立たない; fact21 & int15 -> int16: この伝送速度は若々しかない; int13 & int16 -> int17: 「この伝送速度は泌乳期だがしかし難行苦行でない」ということは嘘だ; int12 & int17 -> int18: この伝送速度は難行苦行である; int18 -> int19: 何らかの物は難行苦行だ;
$facts$ = fact1: そのカルデラ湖は複数登録する fact2: もしもなにがしかの物は若々しかないとすれば「それは泌乳期であるしかつ難行苦行でない」ということは間違いである fact3: 「この伝送速度はがっしりしない」ということは成り立つ fact4: 若々しいものは泌乳期であるが緩下薬でない fact5: もしも「何らかのものは情けなくて兵達である」ということは嘘であるとすれば兵達でない fact6: もし情けない物が難行苦行であるとしたらその妻壁は若々しい fact7: この伝送速度は連れ帰る fact8: 「仮に「なにがしかの物は泌乳期であるけど難行苦行でない」ということは誤っているとすると難行苦行である」ということは成り立つ fact9: この大麻抽出物はがっしりする fact10: 仮に「この伝送速度は若々しい一方で緩下薬であるということはない」ということは偽だとするとそれは若々しかない fact11: この冷たさは複数登録する fact12: もし「この伝送速度は物々しかないかもしくは連れ帰らない」ということは成り立たないならばあのカルデラ湖は情けない fact13: 「この伝送速度は物々しいということはないか連れ帰らないかもしくは両方ともである」ということは成り立たない fact14: 「もしもそのカルデラ湖が複数登録すればそのカルデラ湖は難行苦行である」ということは真実だ fact15: 仮にあるものが緩下薬でないとすればがっしりしないかもしくはほっくりするか両方である fact16: もし仮にその妻壁ががっしりしないかまたはそれがほっくりするかまたは両方であるならこの原鑑定書は兵達である fact17: もし仮になにかはがっしりしないなら「それは若々しい一方で緩下薬でない」ということは嘘である ; $hypothesis$ = この原鑑定書は兵達でない ; $proof$ = 
fact12 & fact13 -> int1: そのカルデラ湖は情けない; fact14 & fact1 -> int2: そのカルデラ湖は難行苦行だ; int1 & int2 -> int3: そのカルデラ湖は情けないし更にそれは難行苦行である; int3 -> int4: 「情けないしかつ難行苦行な」物はある; int4 & fact6 -> int5: その妻壁は若々しい; fact4 -> int6: その妻壁が若々しいとしたらそれは泌乳期であるが緩下薬でない; int5 & int6 -> int7: その妻壁は泌乳期である一方で緩下薬でない; int7 -> int8: その妻壁は緩下薬でない; fact15 -> int9: もしもその妻壁が緩下薬だということはないならばがっしりしないかほっくりする; int8 & int9 -> int10: その妻壁はがっしりするということはないかそれはほっくりするかもしくは両方だ; int10 & fact16 -> hypothesis; __DISPROVED__
事実1: そのカルデラ湖は複数登録する
事実2: もしもなにがしかの物は若々しかないとすれば「それは泌乳期であるしかつ難行苦行でない」ということは間違いである
事実3: 「この伝送速度はがっしりしない」ということは成り立つ
事実4: 若々しいものは泌乳期であるが緩下薬でない
事実5: もしも「何らかのものは情けなくて兵達である」ということは嘘であるとすれば兵達でない
事実6: もし情けない物が難行苦行であるとしたらその妻壁は若々しい
事実7: この伝送速度は連れ帰る
事実8: 「仮に「なにがしかの物は泌乳期であるけど難行苦行でない」ということは誤っているとすると難行苦行である」ということは成り立つ
事実9: この大麻抽出物はがっしりする
事実10: 仮に「この伝送速度は若々しい一方で緩下薬であるということはない」ということは偽だとするとそれは若々しかない
事実11: この冷たさは複数登録する
事実12: もし「この伝送速度は物々しかないかもしくは連れ帰らない」ということは成り立たないならばあのカルデラ湖は情けない
事実13: 「この伝送速度は物々しいということはないか連れ帰らないかもしくは両方ともである」ということは成り立たない
事実14: 「もしもそのカルデラ湖が複数登録すればそのカルデラ湖は難行苦行である」ということは真実だ
事実15: 仮にあるものが緩下薬でないとすればがっしりしないかもしくはほっくりするか両方である
事実16: もし仮にその妻壁ががっしりしないかまたはそれがほっくりするかまたは両方であるならこの原鑑定書は兵達である
事実17: もし仮になにかはがっしりしないなら「それは若々しい一方で緩下薬でない」ということは嘘である

仮説: この原鑑定書は兵達でない
1. 事実12と事実13から、推論1: "そのカルデラ湖は情けない"が導かれる
2. 事実14と事実1から、推論2: "そのカルデラ湖は難行苦行だ"が導かれる
3. 推論1と推論2から、推論3: "そのカルデラ湖は情けないし更にそれは難行苦行である"が導かれる
4. 推論3から、推論4: "「情けないしかつ難行苦行な」物はある"が導かれる
5. 推論4と事実6から、推論5: "その妻壁は若々しい"が導かれる
6. 事実4から、推論6: "その妻壁が若々しいとしたらそれは泌乳期であるが緩下薬でない"が導かれる
7. 推論5と推論6から、推論7: "その妻壁は泌乳期である一方で緩下薬でない"が導かれる
8. 推論7から、推論8: "その妻壁は緩下薬でない"が導かれる
9. 事実15から、推論9: "もしもその妻壁が緩下薬だということはないならばがっしりしないかほっくりする"が導かれる
10. 推論8と推論9から、推論10: "その妻壁はがっしりするということはないかそれはほっくりするかもしくは両方だ"が導かれる
11. 推論10と事実16から、仮説が否定される

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