その拡張障害は荒振らない
fact1: もし仮にその拡張障害は水煮缶であるということはないならば「基金保持でないがしかし兄貴達である」ということは成り立たない fact2: 「その百選は呼べないしおまけにそれは大久保康雄訳でない」ということは偽である fact3: その関東以北は水煮缶でない fact4: 「その百選は第四打席であるしそれは立体化する」ということは成り立たない fact5: もしも「なんらかの物は基金保持だし加えて荒振る」ということは成り立たないとすれば「それは基金保持でない」ということは事実と異なるということはない fact6: もし仮に「その拡張障害は基金保持でないしおまけに兄貴達でない」ということは成り立たないならその百選は第四打席である fact7: その百選は着飾るがしかし黙れない fact8: その百選は第四打席でない fact9: 「その拡張障害は最もらしいし更に着飾る」ということは誤りだ fact10: その拡張障害は水煮缶でないとすれば「それは基金保持であるし更にそれは兄貴達だということはない」ということは間違いである fact11: 「その拡張障害は基金保持であるけど兄貴達でない」ということは嘘である fact12: 仮に「「その拡張障害は最もらしいけれど着飾らない」ということは真実だ」ということは誤っているなら水煮缶でない fact13: もしもその拡張障害は最もらしいがしかし着飾るということはないとするとそれは荒振らない fact14: もし仮にその百選が水煮缶でないならばその拡張障害は兄貴達であるし加えて荒振る fact15: もし仮にその百選が夏休み展であるし着飾るなら暮らしでない fact16: 仮にその百選は第四打席でないとすると「兄貴達でなくて着飾るということはない」ということは正しくない fact17: もし「その百選は第四打席であるし立体化する」ということは間違っているとすればそれは荒振らない fact18: 仮にその拡張障害は水煮缶でないとしたら「基金保持でないしかつ兄貴達でない」ということは成り立たない fact19: もしその拡張障害が着飾るとしたら水煮缶でない fact20: 「「その拡張障害は基金保持でない一方で兄貴達である」ということは成り立たない」ということは偽でない
void -> assump1: 以下のように仮定する。「その拡張障害は最もらしいけど着飾らない」ということは偽だ; fact12 & assump1 -> int1: その拡張障害は水煮缶でない; int1 & fact18 -> int2: 「その拡張障害は基金保持でなくてかつそれは兄貴達でない」ということは間違いである; int2 & fact6 -> int3: その百選は第四打席だ; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> int5: その拡張障害は最もらしいけれど着飾らない; int5 & fact13 -> hypothesis;
あの御成り町は水煮缶でない
fact21 -> int6: もしも「その拡張障害が基金保持だしおまけにそれは荒振る」ということは間違っているなら基金保持でない; fact23 & fact22 -> int7: その百選は荒振らない; int7 -> int8: 「荒振らない」ものはある;
$facts$ = fact1: もし仮にその拡張障害は水煮缶であるということはないならば「基金保持でないがしかし兄貴達である」ということは成り立たない fact2: 「その百選は呼べないしおまけにそれは大久保康雄訳でない」ということは偽である fact3: その関東以北は水煮缶でない fact4: 「その百選は第四打席であるしそれは立体化する」ということは成り立たない fact5: もしも「なんらかの物は基金保持だし加えて荒振る」ということは成り立たないとすれば「それは基金保持でない」ということは事実と異なるということはない fact6: もし仮に「その拡張障害は基金保持でないしおまけに兄貴達でない」ということは成り立たないならその百選は第四打席である fact7: その百選は着飾るがしかし黙れない fact8: その百選は第四打席でない fact9: 「その拡張障害は最もらしいし更に着飾る」ということは誤りだ fact10: その拡張障害は水煮缶でないとすれば「それは基金保持であるし更にそれは兄貴達だということはない」ということは間違いである fact11: 「その拡張障害は基金保持であるけど兄貴達でない」ということは嘘である fact12: 仮に「「その拡張障害は最もらしいけれど着飾らない」ということは真実だ」ということは誤っているなら水煮缶でない fact13: もしもその拡張障害は最もらしいがしかし着飾るということはないとするとそれは荒振らない fact14: もし仮にその百選が水煮缶でないならばその拡張障害は兄貴達であるし加えて荒振る fact15: もし仮にその百選が夏休み展であるし着飾るなら暮らしでない fact16: 仮にその百選は第四打席でないとすると「兄貴達でなくて着飾るということはない」ということは正しくない fact17: もし「その百選は第四打席であるし立体化する」ということは間違っているとすればそれは荒振らない fact18: 仮にその拡張障害は水煮缶でないとしたら「基金保持でないしかつ兄貴達でない」ということは成り立たない fact19: もしその拡張障害が着飾るとしたら水煮缶でない fact20: 「「その拡張障害は基金保持でない一方で兄貴達である」ということは成り立たない」ということは偽でない ; $hypothesis$ = その拡張障害は荒振らない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その拡張障害は最もらしいけど着飾らない」ということは偽だ; fact12 & assump1 -> int1: その拡張障害は水煮缶でない; int1 & fact18 -> int2: 「その拡張障害は基金保持でなくてかつそれは兄貴達でない」ということは間違いである; int2 & fact6 -> int3: その百選は第四打席だ; int3 & fact8 -> int4: これは矛盾である; [assump1] & int4 -> int5: その拡張障害は最もらしいけれど着飾らない; int5 & fact13 -> hypothesis; __PROVED__
事実1: もし仮にその拡張障害は水煮缶であるということはないならば「基金保持でないがしかし兄貴達である」ということは成り立たない
事実2: 「その百選は呼べないしおまけにそれは大久保康雄訳でない」ということは偽である
事実3: その関東以北は水煮缶でない
事実4: 「その百選は第四打席であるしそれは立体化する」ということは成り立たない
事実5: もしも「なんらかの物は基金保持だし加えて荒振る」ということは成り立たないとすれば「それは基金保持でない」ということは事実と異なるということはない
事実6: もし仮に「その拡張障害は基金保持でないしおまけに兄貴達でない」ということは成り立たないならその百選は第四打席である
事実7: その百選は着飾るがしかし黙れない
事実8: その百選は第四打席でない
事実9: 「その拡張障害は最もらしいし更に着飾る」ということは誤りだ
事実10: その拡張障害は水煮缶でないとすれば「それは基金保持であるし更にそれは兄貴達だということはない」ということは間違いである
事実11: 「その拡張障害は基金保持であるけど兄貴達でない」ということは嘘である
事実12: 仮に「「その拡張障害は最もらしいけれど着飾らない」ということは真実だ」ということは誤っているなら水煮缶でない
事実13: もしもその拡張障害は最もらしいがしかし着飾るということはないとするとそれは荒振らない
事実14: もし仮にその百選が水煮缶でないならばその拡張障害は兄貴達であるし加えて荒振る
事実15: もし仮にその百選が夏休み展であるし着飾るなら暮らしでない
事実16: 仮にその百選は第四打席でないとすると「兄貴達でなくて着飾るということはない」ということは正しくない
事実17: もし「その百選は第四打席であるし立体化する」ということは間違っているとすればそれは荒振らない
事実18: 仮にその拡張障害は水煮缶でないとしたら「基金保持でないしかつ兄貴達でない」ということは成り立たない
事実19: もしその拡張障害が着飾るとしたら水煮缶でない
事実20: 「「その拡張障害は基金保持でない一方で兄貴達である」ということは成り立たない」ということは偽でない

仮説: その拡張障害は荒振らない
1. 仮定1: 以下のように仮定する。「その拡張障害は最もらしいけど着飾らない」ということは偽だ
2. 事実12と仮定1から、推論1: "その拡張障害は水煮缶でない"が導かれる
3. 推論1と事実18から、推論2: "「その拡張障害は基金保持でなくてかつそれは兄貴達でない」ということは間違いである"が導かれる
4. 推論2と事実6から、推論3: "その百選は第四打席だ"が導かれる
5. 推論3と事実8から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その拡張障害は最もらしいけれど着飾らない"が導かれる
7. 推論5と事実13から、仮説が導かれる

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