「あの多人数はすんごいかまたは要塞都市でないかあるいは両方である」ということは真実であるということはない
fact1: もし仮にその社会的内向は風速でないとすると細い fact2: 何かは風速でないとすれば「それは買い易いかそれは細くない」ということは成り立たない fact3: 幼けなくないものは有るらしい fact4: 仮に「この発覚は風速でないけれど実感出来る」ということは確かでないとするとあの耳鼻咽喉科医は風速である fact5: 仮に「この発覚は好き好む」ということは成り立つとすると御掛からない fact6: あの多人数は補助税理士だということはない fact7: あの耳鼻咽喉科医が細いとすればあの多人数は細くない fact8: そのミッション・ホスピタルは要塞都市だ fact9: そのパスコースはすんごい fact10: 「その社会的内向は参詣者であるかそれは発見しないか両方ともだ」ということは成り立たない fact11: もしも何かは細いということはないとすれば「それはすんごいかそれは要塞都市でないかもしくは両方である」ということは成り立つということはない fact12: 仮にあの多人数がすんごいとするとあの耳鼻咽喉科医はすんごくない fact13: 「その積層構成は好き好む一方で御掛かるということはない」ということは成り立つということはないならばそれは御掛かる fact14: 「あの参観は細くない」ということは真実である fact15: 「あの多人数は要塞都市である」ということは本当である fact16: とある物は信仰深いということはないとしたら「それは当該健康診断であるかもしくはネットワークサーバーでないかあるいはどちらもだ」ということは間違っている fact17: もし仮にあの耳鼻咽喉科医が風速ならあの多人数は細い fact18: もしあの耳鼻咽喉科医は要塞都市でないとすると細い fact19: もし何らかのものは御掛からないとすると「それは風速でなくてその上実感出来る」ということは成り立たない fact20: あの耳鼻咽喉科医は細い fact21: あの耳鼻咽喉科医は要塞都市だ
fact11 -> int1: もしあの多人数は細くないとすれば「それはすんごいかあるいは要塞都市でないかまたは両方である」ということは間違いだ; fact7 & fact20 -> int2: あの多人数は細くない; int1 & int2 -> hypothesis;
fact11 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); fact7 & fact20 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
あの多人数はすんごいかそれは要塞都市であるということはない
fact25 -> int3: 仮にこの発覚は御掛からないとすると「それは風速でない一方で実感出来る」ということは成り立つということはない;
$facts$ = fact1: もし仮にその社会的内向は風速でないとすると細い fact2: 何かは風速でないとすれば「それは買い易いかそれは細くない」ということは成り立たない fact3: 幼けなくないものは有るらしい fact4: 仮に「この発覚は風速でないけれど実感出来る」ということは確かでないとするとあの耳鼻咽喉科医は風速である fact5: 仮に「この発覚は好き好む」ということは成り立つとすると御掛からない fact6: あの多人数は補助税理士だということはない fact7: あの耳鼻咽喉科医が細いとすればあの多人数は細くない fact8: そのミッション・ホスピタルは要塞都市だ fact9: そのパスコースはすんごい fact10: 「その社会的内向は参詣者であるかそれは発見しないか両方ともだ」ということは成り立たない fact11: もしも何かは細いということはないとすれば「それはすんごいかそれは要塞都市でないかもしくは両方である」ということは成り立つということはない fact12: 仮にあの多人数がすんごいとするとあの耳鼻咽喉科医はすんごくない fact13: 「その積層構成は好き好む一方で御掛かるということはない」ということは成り立つということはないならばそれは御掛かる fact14: 「あの参観は細くない」ということは真実である fact15: 「あの多人数は要塞都市である」ということは本当である fact16: とある物は信仰深いということはないとしたら「それは当該健康診断であるかもしくはネットワークサーバーでないかあるいはどちらもだ」ということは間違っている fact17: もし仮にあの耳鼻咽喉科医が風速ならあの多人数は細い fact18: もしあの耳鼻咽喉科医は要塞都市でないとすると細い fact19: もし何らかのものは御掛からないとすると「それは風速でなくてその上実感出来る」ということは成り立たない fact20: あの耳鼻咽喉科医は細い fact21: あの耳鼻咽喉科医は要塞都市だ ; $hypothesis$ = 「あの多人数はすんごいかまたは要塞都市でないかあるいは両方である」ということは真実であるということはない ; $proof$ = 
fact11 -> int1: もしあの多人数は細くないとすれば「それはすんごいかあるいは要塞都市でないかまたは両方である」ということは間違いだ; fact7 & fact20 -> int2: あの多人数は細くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮にその社会的内向は風速でないとすると細い
事実2: 何かは風速でないとすれば「それは買い易いかそれは細くない」ということは成り立たない
事実3: 幼けなくないものは有るらしい
事実4: 仮に「この発覚は風速でないけれど実感出来る」ということは確かでないとするとあの耳鼻咽喉科医は風速である
事実5: 仮に「この発覚は好き好む」ということは成り立つとすると御掛からない
事実6: あの多人数は補助税理士だということはない
事実7: あの耳鼻咽喉科医が細いとすればあの多人数は細くない
事実8: そのミッション・ホスピタルは要塞都市だ
事実9: そのパスコースはすんごい
事実10: 「その社会的内向は参詣者であるかそれは発見しないか両方ともだ」ということは成り立たない
事実11: もしも何かは細いということはないとすれば「それはすんごいかそれは要塞都市でないかもしくは両方である」ということは成り立つということはない
事実12: 仮にあの多人数がすんごいとするとあの耳鼻咽喉科医はすんごくない
事実13: 「その積層構成は好き好む一方で御掛かるということはない」ということは成り立つということはないならばそれは御掛かる
事実14: 「あの参観は細くない」ということは真実である
事実15: 「あの多人数は要塞都市である」ということは本当である
事実16: とある物は信仰深いということはないとしたら「それは当該健康診断であるかもしくはネットワークサーバーでないかあるいはどちらもだ」ということは間違っている
事実17: もし仮にあの耳鼻咽喉科医が風速ならあの多人数は細い
事実18: もしあの耳鼻咽喉科医は要塞都市でないとすると細い
事実19: もし何らかのものは御掛からないとすると「それは風速でなくてその上実感出来る」ということは成り立たない
事実20: あの耳鼻咽喉科医は細い
事実21: あの耳鼻咽喉科医は要塞都市だ

仮説: 「あの多人数はすんごいかまたは要塞都市でないかあるいは両方である」ということは真実であるということはない
1. 事実11から、推論1: "もしあの多人数は細くないとすれば「それはすんごいかあるいは要塞都市でないかまたは両方である」ということは間違いだ"が導かれる
2. 事実7と事実20から、推論2: "あの多人数は細くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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