もしもあの生理用品は興奮し易くないならば「このラジオ体操はもどかしくない投稿準備中だ」ということは事実と異なる
fact1: もしもこのラジオ体操がもどかしくて加えて投稿準備中であるとするとあの生理用品は興奮し易い fact2: 「このラジオ体操はもどかしくておまけに投稿準備中だ」ということは成り立たない fact3: もしもこのラジオ体操が投稿準備中でないならばあの生理用品は興奮し易いということはないがしかしそれはもどかしい fact4: もし仮に「何かは興奮し易いしその上それは走り出る」ということは間違っていれば興奮し易くない fact5: もし仮にこのラジオ体操が興奮し易くないが投稿準備中であるとすればあの生理用品はもどかしい fact6: 何かは手っ取り早くないならば「「それは興奮し易いし走り出る」ということは事実である」ということは成り立たない fact7: あの生理用品はもどかしい fact8: もしこのラジオ体操がもどかしくないが投稿準備中であるとするとあの生理用品は興奮し易い
void -> assump1: 以下のように仮定する。このラジオ体操はもどかしいということはないがしかし投稿準備中である; fact8 & assump1 -> int1: あの生理用品は興奮し易い; void -> assump2: 以下のように仮定する。あの生理用品は興奮し易くない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このラジオ体操はもどかしくないが投稿準備中だ」ということは事実と異なる; [assump2] & int3 -> hypothesis;
このラジオ体操は興奮し易くない
fact10 -> int4: 仮に「このラジオ体操は興奮し易くてそれに走り出る」ということは成り立たないとすると興奮し易くない; fact9 -> int5: もし仮にこのラジオ体操は手っ取り早くないとしたら「興奮し易くてかつ走り出る」ということは偽だ;
$facts$ = fact1: もしもこのラジオ体操がもどかしくて加えて投稿準備中であるとするとあの生理用品は興奮し易い fact2: 「このラジオ体操はもどかしくておまけに投稿準備中だ」ということは成り立たない fact3: もしもこのラジオ体操が投稿準備中でないならばあの生理用品は興奮し易いということはないがしかしそれはもどかしい fact4: もし仮に「何かは興奮し易いしその上それは走り出る」ということは間違っていれば興奮し易くない fact5: もし仮にこのラジオ体操が興奮し易くないが投稿準備中であるとすればあの生理用品はもどかしい fact6: 何かは手っ取り早くないならば「「それは興奮し易いし走り出る」ということは事実である」ということは成り立たない fact7: あの生理用品はもどかしい fact8: もしこのラジオ体操がもどかしくないが投稿準備中であるとするとあの生理用品は興奮し易い ; $hypothesis$ = もしもあの生理用品は興奮し易くないならば「このラジオ体操はもどかしくない投稿準備中だ」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。このラジオ体操はもどかしいということはないがしかし投稿準備中である; fact8 & assump1 -> int1: あの生理用品は興奮し易い; void -> assump2: 以下のように仮定する。あの生理用品は興奮し易くない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このラジオ体操はもどかしくないが投稿準備中だ」ということは事実と異なる; [assump2] & int3 -> hypothesis; __PROVED__
事実1: もしもこのラジオ体操がもどかしくて加えて投稿準備中であるとするとあの生理用品は興奮し易い
事実2: 「このラジオ体操はもどかしくておまけに投稿準備中だ」ということは成り立たない
事実3: もしもこのラジオ体操が投稿準備中でないならばあの生理用品は興奮し易いということはないがしかしそれはもどかしい
事実4: もし仮に「何かは興奮し易いしその上それは走り出る」ということは間違っていれば興奮し易くない
事実5: もし仮にこのラジオ体操が興奮し易くないが投稿準備中であるとすればあの生理用品はもどかしい
事実6: 何かは手っ取り早くないならば「「それは興奮し易いし走り出る」ということは事実である」ということは成り立たない
事実7: あの生理用品はもどかしい
事実8: もしこのラジオ体操がもどかしくないが投稿準備中であるとするとあの生理用品は興奮し易い

仮説: もしもあの生理用品は興奮し易くないならば「このラジオ体操はもどかしくない投稿準備中だ」ということは事実と異なる
1. 仮定1: 以下のように仮定する。このラジオ体操はもどかしいということはないがしかし投稿準備中である
2. 事実8と仮定1から、推論1: "あの生理用品は興奮し易い"が導かれる
3. 仮定2: 以下のように仮定する。あの生理用品は興奮し易くない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「このラジオ体操はもどかしくないが投稿準備中だ」ということは事実と異なる"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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