もしその地籍図は短いなら「情けなくない」ということは間違っていない
fact1: もし仮に「両乳でないかまたは石油危機でないか両方ともである」ものがあるとすればあの地籍図は丸い fact2: もし仮にその地籍図は間男するし加えて短いとしたら情けない fact3: もし仮になにがしかのものは間男するしまた短いならばそれは情けない fact4: あの大皿は薙ぎ倒すししかも控え居る fact5: 仮にその地籍図が控え居ないとすればこの児童福祉は控え居るということはない fact6: もしも何らかの物が親しみ易いなら情けない fact7: 「控え居ないかもしくは民選でないかまたはどちらもである」ものがあるとするとその地籍図は間男する fact8: 「控え居るかあるいは民選でない」物はある fact9: もしもなにがしかの物が短いしその上読み辛いとすればこの児童福祉は民選だ fact10: もし「控え居ない」物があるとしたらその地籍図は間男する fact11: あるものは控え居ないかまたは民選だということはない fact12: 「もしその複式簿記が情けないしそれにそれが控え居るならその地籍図は控え居ない」ということは確かである fact13: もし仮になんらかの物が間男するしかつ短いとすれば情けなくない fact14: その地籍図は情けない fact15: もしその地籍図が短いなら情けない fact16: その広告代理店は短くてそれに読み辛い fact17: もしも民選が控え居ないとしたら間男する fact18: その地籍図は従い為さらない fact19: その地籍図は御恥ずかしくない fact20: 「控え居ないかあるいは民選な」物はある
fact11 & fact7 -> int1: その地籍図は間男する; void -> assump1: 以下のように仮定する。その地籍図は短い; int1 & assump1 -> int2: その地籍図は間男するし更に短い; fact13 -> int3: もし仮にその地籍図が間男するしかつそれが短いならば情けなくない; int2 & int3 -> int4: その地籍図は情けなくない; [assump1] & int4 -> hypothesis;
「この児童福祉は間男する」ということは成り立つ
fact23 -> int5: もし仮にこの児童福祉が民選であるけどそれが控え居ないなら間男する; fact22 -> int6: 「短いしさらに読み辛い」物はある; int6 & fact25 -> int7: この児童福祉は民選である; fact24 -> int8: 「その複式簿記は親しみ易い」ということは間違いであるということはないならばそれは情けない;
$facts$ = fact1: もし仮に「両乳でないかまたは石油危機でないか両方ともである」ものがあるとすればあの地籍図は丸い fact2: もし仮にその地籍図は間男するし加えて短いとしたら情けない fact3: もし仮になにがしかのものは間男するしまた短いならばそれは情けない fact4: あの大皿は薙ぎ倒すししかも控え居る fact5: 仮にその地籍図が控え居ないとすればこの児童福祉は控え居るということはない fact6: もしも何らかの物が親しみ易いなら情けない fact7: 「控え居ないかもしくは民選でないかまたはどちらもである」ものがあるとするとその地籍図は間男する fact8: 「控え居るかあるいは民選でない」物はある fact9: もしもなにがしかの物が短いしその上読み辛いとすればこの児童福祉は民選だ fact10: もし「控え居ない」物があるとしたらその地籍図は間男する fact11: あるものは控え居ないかまたは民選だということはない fact12: 「もしその複式簿記が情けないしそれにそれが控え居るならその地籍図は控え居ない」ということは確かである fact13: もし仮になんらかの物が間男するしかつ短いとすれば情けなくない fact14: その地籍図は情けない fact15: もしその地籍図が短いなら情けない fact16: その広告代理店は短くてそれに読み辛い fact17: もしも民選が控え居ないとしたら間男する fact18: その地籍図は従い為さらない fact19: その地籍図は御恥ずかしくない fact20: 「控え居ないかあるいは民選な」物はある ; $hypothesis$ = もしその地籍図は短いなら「情けなくない」ということは間違っていない ; $proof$ = 
fact11 & fact7 -> int1: その地籍図は間男する; void -> assump1: 以下のように仮定する。その地籍図は短い; int1 & assump1 -> int2: その地籍図は間男するし更に短い; fact13 -> int3: もし仮にその地籍図が間男するしかつそれが短いならば情けなくない; int2 & int3 -> int4: その地籍図は情けなくない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮に「両乳でないかまたは石油危機でないか両方ともである」ものがあるとすればあの地籍図は丸い
事実2: もし仮にその地籍図は間男するし加えて短いとしたら情けない
事実3: もし仮になにがしかのものは間男するしまた短いならばそれは情けない
事実4: あの大皿は薙ぎ倒すししかも控え居る
事実5: 仮にその地籍図が控え居ないとすればこの児童福祉は控え居るということはない
事実6: もしも何らかの物が親しみ易いなら情けない
事実7: 「控え居ないかもしくは民選でないかまたはどちらもである」ものがあるとするとその地籍図は間男する
事実8: 「控え居るかあるいは民選でない」物はある
事実9: もしもなにがしかの物が短いしその上読み辛いとすればこの児童福祉は民選だ
事実10: もし「控え居ない」物があるとしたらその地籍図は間男する
事実11: あるものは控え居ないかまたは民選だということはない
事実12: 「もしその複式簿記が情けないしそれにそれが控え居るならその地籍図は控え居ない」ということは確かである
事実13: もし仮になんらかの物が間男するしかつ短いとすれば情けなくない
事実14: その地籍図は情けない
事実15: もしその地籍図が短いなら情けない
事実16: その広告代理店は短くてそれに読み辛い
事実17: もしも民選が控え居ないとしたら間男する
事実18: その地籍図は従い為さらない
事実19: その地籍図は御恥ずかしくない
事実20: 「控え居ないかあるいは民選な」物はある

仮説: もしその地籍図は短いなら「情けなくない」ということは間違っていない
1. 事実11と事実7から、推論1: "その地籍図は間男する"が導かれる
2. 仮定1: 以下のように仮定する。その地籍図は短い
3. 推論1と仮定1から、推論2: "その地籍図は間男するし更に短い"が導かれる
4. 事実13から、推論3: "もし仮にその地籍図が間男するしかつそれが短いならば情けなくない"が導かれる
5. 推論2と推論3から、推論4: "その地籍図は情けなくない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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