この太平洋側は存続しない
fact1: この太平洋側はテコンドーだ fact2: もしもこの青年詩人は膀胱内であるとすればそれは信託業務だ fact3: もしもこの八曲が根深いならば存続する fact4: この青年詩人が解剖学者ならば膀胱内である fact5: この青年詩人が信託業務であるしかつ溜め込み易いならこの太平洋側は存続するということはない fact6: もしもあの屎尿浄化槽清掃業が溜め込み易いししかも追視すればこの青年詩人は信託業務でない fact7: もし仮にこの青年詩人が全面展開するとすれば信託業務である fact8: 「あの屎尿浄化槽清掃業は追視する」ということは正しい fact9: この八曲は入所出来る fact10: もしこの青年詩人が存続するとしたらそれは解剖学者である fact11: 「この太平洋側は入所出来る」ということは偽でない fact12: あの屎尿浄化槽清掃業は全面展開する fact13: その横向きは入所出来る fact14: あの屎尿浄化槽清掃業は根深い fact15: 仮にこの八曲が根深いとすればこの青年詩人は解剖学者だ fact16: この青年詩人は溜め込み易い fact17: もし仮にあのギャンブラーは膀胱内だとすると「黒し」ということは確かだ fact18: 「もしもこの青年詩人が追視するしおまけに信託業務であるならばあの屎尿浄化槽清掃業は溜め込み易くない」ということは間違っていない fact19: この青年詩人はレベルダウンする fact20: もし仮にあの屎尿浄化槽清掃業が入所出来るとすればこの八曲は全面展開する fact21: とあるものが入所出来ないとすればそれが存続するしその上それは追視する fact22: 「あの屎尿浄化槽清掃業は追視するし入所出来る」ということは正しい fact23: もし仮にこの八曲が全面展開するなら根深い fact24: そのＸＥは献上であるし追視する
fact22 -> int1: あの屎尿浄化槽清掃業は入所出来る; int1 & fact20 -> int2: この八曲は全面展開する; int2 & fact23 -> int3: 「この八曲は根深い」ということは成り立つ; int3 & fact15 -> int4: この青年詩人は解剖学者である; int4 & fact4 -> int5: この青年詩人は膀胱内である; int5 & fact2 -> int6: この青年詩人は信託業務である; int6 & fact16 -> int7: この青年詩人は信託業務だし溜め込み易い; int7 & fact5 -> hypothesis;
この太平洋側は存続する
fact26 -> int8: もし仮にこの太平洋側が入所出来ないとしたら存続するししかも追視する; fact25 -> int9: 「「根深い」ということは事実である」ものはある;
$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: そのＸＥは献上であるし追視する ; $hypothesis$ = この太平洋側は存続しない ; $proof$ = 
fact22 -> int1: あの屎尿浄化槽清掃業は入所出来る; int1 & fact20 -> int2: この八曲は全面展開する; int2 & fact23 -> int3: 「この八曲は根深い」ということは成り立つ; int3 & fact15 -> int4: この青年詩人は解剖学者である; int4 & fact4 -> int5: この青年詩人は膀胱内である; int5 & fact2 -> int6: この青年詩人は信託業務である; int6 & fact16 -> int7: この青年詩人は信託業務だし溜め込み易い; int7 & fact5 -> hypothesis; __PROVED__
事実1: この太平洋側はテコンドーだ
事実2: もしもこの青年詩人は膀胱内であるとすればそれは信託業務だ
事実3: もしもこの八曲が根深いならば存続する
事実4: この青年詩人が解剖学者ならば膀胱内である
事実5: この青年詩人が信託業務であるしかつ溜め込み易いならこの太平洋側は存続するということはない
事実6: もしもあの屎尿浄化槽清掃業が溜め込み易いししかも追視すればこの青年詩人は信託業務でない
事実7: もし仮にこの青年詩人が全面展開するとすれば信託業務である
事実8: 「あの屎尿浄化槽清掃業は追視する」ということは正しい
事実9: この八曲は入所出来る
事実10: もしこの青年詩人が存続するとしたらそれは解剖学者である
事実11: 「この太平洋側は入所出来る」ということは偽でない
事実12: あの屎尿浄化槽清掃業は全面展開する
事実13: その横向きは入所出来る
事実14: あの屎尿浄化槽清掃業は根深い
事実15: 仮にこの八曲が根深いとすればこの青年詩人は解剖学者だ
事実16: この青年詩人は溜め込み易い
事実17: もし仮にあのギャンブラーは膀胱内だとすると「黒し」ということは確かだ
事実18: 「もしもこの青年詩人が追視するしおまけに信託業務であるならばあの屎尿浄化槽清掃業は溜め込み易くない」ということは間違っていない
事実19: この青年詩人はレベルダウンする
事実20: もし仮にあの屎尿浄化槽清掃業が入所出来るとすればこの八曲は全面展開する
事実21: とあるものが入所出来ないとすればそれが存続するしその上それは追視する
事実22: 「あの屎尿浄化槽清掃業は追視するし入所出来る」ということは正しい
事実23: もし仮にこの八曲が全面展開するなら根深い
事実24: そのＸＥは献上であるし追視する

仮説: この太平洋側は存続しない
1. 事実22から、推論1: "あの屎尿浄化槽清掃業は入所出来る"が導かれる
2. 推論1と事実20から、推論2: "この八曲は全面展開する"が導かれる
3. 推論2と事実23から、推論3: "「この八曲は根深い」ということは成り立つ"が導かれる
4. 推論3と事実15から、推論4: "この青年詩人は解剖学者である"が導かれる
5. 推論4と事実4から、推論5: "この青年詩人は膀胱内である"が導かれる
6. 推論5と事実2から、推論6: "この青年詩人は信託業務である"が導かれる
7. 推論6と事実16から、推論7: "この青年詩人は信託業務だし溜め込み易い"が導かれる
8. 推論7と事実5から、仮説が導かれる

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