あの見極めは上り易いがしかしそれは反対出来ない
fact1: 組合教会は力無くない fact2: 「あの見極めは反対出来ない」ということは本当である fact3: 仮にとあるものは極まるとしたら「反対出来る」ということは確かである fact4: もしなにがしかのものは貧しないならば「それは上り易いが反対出来ない」ということは嘘である fact5: もし仮に「あの海上基地は溜まり易い」ということは正しいとしたら「「あの富岳風穴は貧しないししかも青啄木鳥でない」ということは正しい」ということは嘘である fact6: この政友会は割れ難いということはないなら「開示請求するし更にそれは見せ掛けない」ということは成り立たない fact7: 溜まり易い物は反対出来ない fact8: あの富岳風穴は貧し fact9: もしあの富岳風穴は反対出来ないとすれば「あの見極めは上り易いがしかしそれは反対出来ない」ということは事実だ fact10: 仮にあの富岳風穴が反対出来ないならばあの見極めは反対出来ない fact11: もし仮にあの富岳風穴がエロス的身体だとすればあの見極めは溜まり易くないがそれは青啄木鳥である fact12: あの富岳風穴は長生き出来るけどそれは肛門でない fact13: もしあの富岳風穴が上り易いなら反対出来る fact14: もし仮にあの姫尊が溜まり易くないとすればあの海上基地は溜まり易い fact15: この猿飛橋は反対出来る fact16: その朝家は貧し fact17: もしあの富岳風穴が貧しとしたらそれは溜まり易い fact18: 仮に何かは溜まり易くないけど青啄木鳥であるとすると貧し fact19: あの姫尊が開示請求しないとするとそれはエロス的身体でそれは溜まり易くない fact20: あの見極めは冷蔵保存しない
fact17 & fact8 -> int1: あの富岳風穴は溜まり易い; fact7 -> int2: もしあの富岳風穴が溜まり易いとすればそれは反対出来ない; int1 & int2 -> int3: あの富岳風穴は反対出来ない; int3 & fact9 -> hypothesis;
「あの見極めは上り易いが反対出来ない」ということは成り立たない
fact21 -> int4: 仮にあの見極めは貧しないとすれば「それは上り易い一方で反対出来ない」ということは嘘である;
$facts$ = fact1: 組合教会は力無くない fact2: 「あの見極めは反対出来ない」ということは本当である fact3: 仮にとあるものは極まるとしたら「反対出来る」ということは確かである fact4: もしなにがしかのものは貧しないならば「それは上り易いが反対出来ない」ということは嘘である fact5: もし仮に「あの海上基地は溜まり易い」ということは正しいとしたら「「あの富岳風穴は貧しないししかも青啄木鳥でない」ということは正しい」ということは嘘である fact6: この政友会は割れ難いということはないなら「開示請求するし更にそれは見せ掛けない」ということは成り立たない fact7: 溜まり易い物は反対出来ない fact8: あの富岳風穴は貧し fact9: もしあの富岳風穴は反対出来ないとすれば「あの見極めは上り易いがしかしそれは反対出来ない」ということは事実だ fact10: 仮にあの富岳風穴が反対出来ないならばあの見極めは反対出来ない fact11: もし仮にあの富岳風穴がエロス的身体だとすればあの見極めは溜まり易くないがそれは青啄木鳥である fact12: あの富岳風穴は長生き出来るけどそれは肛門でない fact13: もしあの富岳風穴が上り易いなら反対出来る fact14: もし仮にあの姫尊が溜まり易くないとすればあの海上基地は溜まり易い fact15: この猿飛橋は反対出来る fact16: その朝家は貧し fact17: もしあの富岳風穴が貧しとしたらそれは溜まり易い fact18: 仮に何かは溜まり易くないけど青啄木鳥であるとすると貧し fact19: あの姫尊が開示請求しないとするとそれはエロス的身体でそれは溜まり易くない fact20: あの見極めは冷蔵保存しない ; $hypothesis$ = あの見極めは上り易いがしかしそれは反対出来ない ; $proof$ = 
fact17 & fact8 -> int1: あの富岳風穴は溜まり易い; fact7 -> int2: もしあの富岳風穴が溜まり易いとすればそれは反対出来ない; int1 & int2 -> int3: あの富岳風穴は反対出来ない; int3 & fact9 -> hypothesis; __PROVED__
事実1: 組合教会は力無くない
事実2: 「あの見極めは反対出来ない」ということは本当である
事実3: 仮にとあるものは極まるとしたら「反対出来る」ということは確かである
事実4: もしなにがしかのものは貧しないならば「それは上り易いが反対出来ない」ということは嘘である
事実5: もし仮に「あの海上基地は溜まり易い」ということは正しいとしたら「「あの富岳風穴は貧しないししかも青啄木鳥でない」ということは正しい」ということは嘘である
事実6: この政友会は割れ難いということはないなら「開示請求するし更にそれは見せ掛けない」ということは成り立たない
事実7: 溜まり易い物は反対出来ない
事実8: あの富岳風穴は貧し
事実9: もしあの富岳風穴は反対出来ないとすれば「あの見極めは上り易いがしかしそれは反対出来ない」ということは事実だ
事実10: 仮にあの富岳風穴が反対出来ないならばあの見極めは反対出来ない
事実11: もし仮にあの富岳風穴がエロス的身体だとすればあの見極めは溜まり易くないがそれは青啄木鳥である
事実12: あの富岳風穴は長生き出来るけどそれは肛門でない
事実13: もしあの富岳風穴が上り易いなら反対出来る
事実14: もし仮にあの姫尊が溜まり易くないとすればあの海上基地は溜まり易い
事実15: この猿飛橋は反対出来る
事実16: その朝家は貧し
事実17: もしあの富岳風穴が貧しとしたらそれは溜まり易い
事実18: 仮に何かは溜まり易くないけど青啄木鳥であるとすると貧し
事実19: あの姫尊が開示請求しないとするとそれはエロス的身体でそれは溜まり易くない
事実20: あの見極めは冷蔵保存しない

仮説: あの見極めは上り易いがしかしそれは反対出来ない
1. 事実17と事実8から、推論1: "あの富岳風穴は溜まり易い"が導かれる
2. 事実7から、推論2: "もしあの富岳風穴が溜まり易いとすればそれは反対出来ない"が導かれる
3. 推論1と推論2から、推論3: "あの富岳風穴は反対出来ない"が導かれる
4. 推論3と事実9から、仮説が導かれる

よって、仮説が証明されました。