あのミュージシャンは圧しない
fact1: あの犯罪が付き過ぎるかもしくは対馬海峡でないか両方であるとするとあの動物性食物は間断無いということはない fact2: あるものがふさふさするとすればそれは当たり易い fact3: 「「御恥ずかしくて長々しい」ということは偽な」物はある fact4: あのミュージシャンは圧するとすれば「あの犯罪は集落協定締結率であるしそれは知覚出来る」ということは偽だ fact5: もしもあの新調が破綻するとすればふさふさする fact6: もしも「対馬海峡でない」ものがあるとしたらあの犯罪は付き過ぎるかまたは対馬海峡であるということはないかまたは両方ともである fact7: もし仮に「「長々しいし知覚出来ない」ということは事実と異なる」物はあるとしたら「あのミュージシャンは集落協定締結率でない」ということは真実だ fact8: もしなにがしかのものは当たり易いならば「「乳臭くないがしかし極まりない」ということは真実だ」ということは間違っている fact9: 仮に「あの新調は乳臭くないけど極まりない」ということは成り立たないとすればその戦勝は対馬海峡でない fact10: もし何かは表彰するとしたら集落協定締結率でないし御恥ずかしくない fact11: もし何らかのものは集落協定締結率だということはないしさらに御恥ずかしくないとしたら「それは圧する」ということは事実である fact12: あの動物性食物は御恥ずかしいとすれば「あの犯罪は長々しいけど知覚出来ない」ということは嘘である fact13: もし仮に「何らかの物は集落協定締結率でない」ということは成り立つとしたらそれは圧するということはない fact14: 「あの犯罪は長々しいしそれに圧する」ということは事実と異なる fact15: あの動物性食物は御恥ずかしい fact16: あの新調は破綻する
fact12 & fact15 -> int1: 「あの犯罪は長々しいけど知覚出来るということはない」ということは嘘である; int1 -> int2: 「「長々しいがしかし知覚出来るということはない」ということは成り立たない」物はある; int2 & fact7 -> int3: 「あのミュージシャンは集落協定締結率だということはない」ということは真実だ; fact13 -> int4: 仮にあのミュージシャンは集落協定締結率でないなら「それは圧しない」ということは真実だ; int3 & int4 -> hypothesis;
あのミュージシャンは圧する
fact22 -> int5: もしもあのミュージシャンが集落協定締結率でないしさらに御恥ずかしくないとすれば圧する; fact25 -> int6: 仮にあのミュージシャンが表彰するとしたら集落協定締結率でないし御恥ずかしくない; fact19 -> int7: 「あの新調は当たり易い」ということは成り立つとすれば「それが乳臭くないしさらに極まりない」ということは成り立たない; fact18 -> int8: もしもあの新調がふさふさするとすると当たり易い; fact23 & fact17 -> int9: あの新調はふさふさする; int8 & int9 -> int10: あの新調は当たり易い; int7 & int10 -> int11: 「あの新調は乳臭いということはないが極まりない」ということは事実と異なる; fact20 & int11 -> int12: その戦勝は対馬海峡でない; int12 -> int13: 「対馬海峡でない」物はある; int13 & fact24 -> int14: あの犯罪は付き過ぎるかもしくは対馬海峡でない; fact21 & int14 -> int15: あの動物性食物は間断無くない; int15 -> int16: なにかは間断無くない;
$facts$ = fact1: あの犯罪が付き過ぎるかもしくは対馬海峡でないか両方であるとするとあの動物性食物は間断無いということはない fact2: あるものがふさふさするとすればそれは当たり易い fact3: 「「御恥ずかしくて長々しい」ということは偽な」物はある fact4: あのミュージシャンは圧するとすれば「あの犯罪は集落協定締結率であるしそれは知覚出来る」ということは偽だ fact5: もしもあの新調が破綻するとすればふさふさする fact6: もしも「対馬海峡でない」ものがあるとしたらあの犯罪は付き過ぎるかまたは対馬海峡であるということはないかまたは両方ともである fact7: もし仮に「「長々しいし知覚出来ない」ということは事実と異なる」物はあるとしたら「あのミュージシャンは集落協定締結率でない」ということは真実だ fact8: もしなにがしかのものは当たり易いならば「「乳臭くないがしかし極まりない」ということは真実だ」ということは間違っている fact9: 仮に「あの新調は乳臭くないけど極まりない」ということは成り立たないとすればその戦勝は対馬海峡でない fact10: もし何かは表彰するとしたら集落協定締結率でないし御恥ずかしくない fact11: もし何らかのものは集落協定締結率だということはないしさらに御恥ずかしくないとしたら「それは圧する」ということは事実である fact12: あの動物性食物は御恥ずかしいとすれば「あの犯罪は長々しいけど知覚出来ない」ということは嘘である fact13: もし仮に「何らかの物は集落協定締結率でない」ということは成り立つとしたらそれは圧するということはない fact14: 「あの犯罪は長々しいしそれに圧する」ということは事実と異なる fact15: あの動物性食物は御恥ずかしい fact16: あの新調は破綻する ; $hypothesis$ = あのミュージシャンは圧しない ; $proof$ = 
fact12 & fact15 -> int1: 「あの犯罪は長々しいけど知覚出来るということはない」ということは嘘である; int1 -> int2: 「「長々しいがしかし知覚出来るということはない」ということは成り立たない」物はある; int2 & fact7 -> int3: 「あのミュージシャンは集落協定締結率だということはない」ということは真実だ; fact13 -> int4: 仮にあのミュージシャンは集落協定締結率でないなら「それは圧しない」ということは真実だ; int3 & int4 -> hypothesis; __PROVED__
事実1: あの犯罪が付き過ぎるかもしくは対馬海峡でないか両方であるとするとあの動物性食物は間断無いということはない
事実2: あるものがふさふさするとすればそれは当たり易い
事実3: 「「御恥ずかしくて長々しい」ということは偽な」物はある
事実4: あのミュージシャンは圧するとすれば「あの犯罪は集落協定締結率であるしそれは知覚出来る」ということは偽だ
事実5: もしもあの新調が破綻するとすればふさふさする
事実6: もしも「対馬海峡でない」ものがあるとしたらあの犯罪は付き過ぎるかまたは対馬海峡であるということはないかまたは両方ともである
事実7: もし仮に「「長々しいし知覚出来ない」ということは事実と異なる」物はあるとしたら「あのミュージシャンは集落協定締結率でない」ということは真実だ
事実8: もしなにがしかのものは当たり易いならば「「乳臭くないがしかし極まりない」ということは真実だ」ということは間違っている
事実9: 仮に「あの新調は乳臭くないけど極まりない」ということは成り立たないとすればその戦勝は対馬海峡でない
事実10: もし何かは表彰するとしたら集落協定締結率でないし御恥ずかしくない
事実11: もし何らかのものは集落協定締結率だということはないしさらに御恥ずかしくないとしたら「それは圧する」ということは事実である
事実12: あの動物性食物は御恥ずかしいとすれば「あの犯罪は長々しいけど知覚出来ない」ということは嘘である
事実13: もし仮に「何らかの物は集落協定締結率でない」ということは成り立つとしたらそれは圧するということはない
事実14: 「あの犯罪は長々しいしそれに圧する」ということは事実と異なる
事実15: あの動物性食物は御恥ずかしい
事実16: あの新調は破綻する

仮説: あのミュージシャンは圧しない
1. 事実12と事実15から、推論1: "「あの犯罪は長々しいけど知覚出来るということはない」ということは嘘である"が導かれる
2. 推論1から、推論2: "「「長々しいがしかし知覚出来るということはない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実7から、推論3: "「あのミュージシャンは集落協定締結率だということはない」ということは真実だ"が導かれる
4. 事実13から、推論4: "仮にあのミュージシャンは集落協定締結率でないなら「それは圧しない」ということは真実だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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