そのフィンランド語は家督相続であるけれどそれは出場出来ない
fact1: あのゴールキーパーは類聚であるかまたは死亡しない fact2: 仮にその肺胞が控え居ないがしかしそれが逃亡するならあの墳丘は振らす fact3: あの墳丘は出場出来ない fact4: 類聚は振らす fact5: もしその肺胞が類聚であるかあるいはそれが逃亡しないかあるいはどちらもであるとしたらそのフィンランド語は出場出来ない fact6: あのゴールキーパーは類聚でない一方で出場出来る fact7: 「そのフィンランド語は鼻だ」ということは正しい fact8: 仮に吊り易い物が振らすならばあの災害復旧事業費は出場出来る fact9: もしも何らかのものは鼻であるとしたらそれは著しい fact10: あの災害復旧事業費は献納しない fact11: もし仮にあの墳丘が著しいとすれば吊り易い fact12: 仮にそのフィンランド語が出場出来ないが著しいならあの墳丘は考査先である fact13: 「出場出来る」ものはある fact14: 仮にあの墳丘が振らすか高くないかもしくはどちらもであるならばあの肺胞は吊り易くない fact15: その肺胞はエロいしかつ集まり易い fact16: 何らかのものは鼻であるしおまけに出場出来る fact17: あのゴールキーパーは銀行預金でない fact18: 「ＱＲＳである」物はある fact19: もし仮になにがしかの物が考査先でないならばそれは家督相続であるしまた出場出来ない fact20: とあるものが高くないならば控え居ないけれど逃亡する fact21: あの墳丘は考査先であるし鼻だ fact22: あの災害復旧事業費は出場出来るとしたら「そのフィンランド語は家督相続であるが出場出来ない」ということは成り立たない fact23: もしあのゴールキーパーが類聚であるかまたはそれは死亡するということはないかもしくはどちらもであるとすると「その肺胞は高くない」ということは成り立つ
fact21 -> int1: あの墳丘は鼻である; fact9 -> int2: 仮にあの墳丘が鼻ならそれは著しい; int1 & int2 -> int3: あの墳丘は著しい; int3 & fact11 -> int4: あの墳丘は吊り易い; fact20 -> int5: その肺胞が高くないとするとそれは控え居ないしおまけに逃亡する; fact23 & fact1 -> int6: その肺胞は高くない; int5 & int6 -> int7: その肺胞は控え居ないが逃亡する; fact2 & int7 -> int8: あの墳丘は振らす; int4 & int8 -> int9: あの墳丘は吊り易いしさらに振らす; int9 -> int10: 「吊り易いしおまけに振らす」ものはある; int10 & fact8 -> int11: 「あの災害復旧事業費は出場出来る」ということは事実だ; int11 & fact22 -> hypothesis;
そのフィンランド語は家督相続であるけれどそれは出場出来ない
fact24 -> int12: 「もしもそのフィンランド語が考査先でないとしたらそのフィンランド語は家督相続だがしかし出場出来るということはない」ということは成り立つ;
$facts$ = fact1: あのゴールキーパーは類聚であるかまたは死亡しない fact2: 仮にその肺胞が控え居ないがしかしそれが逃亡するならあの墳丘は振らす fact3: あの墳丘は出場出来ない fact4: 類聚は振らす fact5: もしその肺胞が類聚であるかあるいはそれが逃亡しないかあるいはどちらもであるとしたらそのフィンランド語は出場出来ない fact6: あのゴールキーパーは類聚でない一方で出場出来る fact7: 「そのフィンランド語は鼻だ」ということは正しい fact8: 仮に吊り易い物が振らすならばあの災害復旧事業費は出場出来る fact9: もしも何らかのものは鼻であるとしたらそれは著しい fact10: あの災害復旧事業費は献納しない fact11: もし仮にあの墳丘が著しいとすれば吊り易い fact12: 仮にそのフィンランド語が出場出来ないが著しいならあの墳丘は考査先である fact13: 「出場出来る」ものはある fact14: 仮にあの墳丘が振らすか高くないかもしくはどちらもであるならばあの肺胞は吊り易くない fact15: その肺胞はエロいしかつ集まり易い fact16: 何らかのものは鼻であるしおまけに出場出来る fact17: あのゴールキーパーは銀行預金でない fact18: 「ＱＲＳである」物はある fact19: もし仮になにがしかの物が考査先でないならばそれは家督相続であるしまた出場出来ない fact20: とあるものが高くないならば控え居ないけれど逃亡する fact21: あの墳丘は考査先であるし鼻だ fact22: あの災害復旧事業費は出場出来るとしたら「そのフィンランド語は家督相続であるが出場出来ない」ということは成り立たない fact23: もしあのゴールキーパーが類聚であるかまたはそれは死亡するということはないかもしくはどちらもであるとすると「その肺胞は高くない」ということは成り立つ ; $hypothesis$ = そのフィンランド語は家督相続であるけれどそれは出場出来ない ; $proof$ = 
fact21 -> int1: あの墳丘は鼻である; fact9 -> int2: 仮にあの墳丘が鼻ならそれは著しい; int1 & int2 -> int3: あの墳丘は著しい; int3 & fact11 -> int4: あの墳丘は吊り易い; fact20 -> int5: その肺胞が高くないとするとそれは控え居ないしおまけに逃亡する; fact23 & fact1 -> int6: その肺胞は高くない; int5 & int6 -> int7: その肺胞は控え居ないが逃亡する; fact2 & int7 -> int8: あの墳丘は振らす; int4 & int8 -> int9: あの墳丘は吊り易いしさらに振らす; int9 -> int10: 「吊り易いしおまけに振らす」ものはある; int10 & fact8 -> int11: 「あの災害復旧事業費は出場出来る」ということは事実だ; int11 & fact22 -> 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: もしあのゴールキーパーが類聚であるかまたはそれは死亡するということはないかもしくはどちらもであるとすると「その肺胞は高くない」ということは成り立つ

仮説: そのフィンランド語は家督相続であるけれどそれは出場出来ない
1. 事実21から、推論1: "あの墳丘は鼻である"が導かれる
2. 事実9から、推論2: "仮にあの墳丘が鼻ならそれは著しい"が導かれる
3. 推論1と推論2から、推論3: "あの墳丘は著しい"が導かれる
4. 推論3と事実11から、推論4: "あの墳丘は吊り易い"が導かれる
5. 事実20から、推論5: "その肺胞が高くないとするとそれは控え居ないしおまけに逃亡する"が導かれる
6. 事実23と事実1から、推論6: "その肺胞は高くない"が導かれる
7. 推論5と推論6から、推論7: "その肺胞は控え居ないが逃亡する"が導かれる
8. 事実2と推論7から、推論8: "あの墳丘は振らす"が導かれる
9. 推論4と推論8から、推論9: "あの墳丘は吊り易いしさらに振らす"が導かれる
10. 推論9から、推論10: "「吊り易いしおまけに振らす」ものはある"が導かれる
11. 推論10と事実8から、推論11: "「あの災害復旧事業費は出場出来る」ということは事実だ"が導かれる
12. 推論11と事実22から、仮説が否定される

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