もしもその大笑いが感じ易くないとしたらあの中和はどでかくない
fact1: あの中和は感じ易い fact2: その約定品はどでかい fact3: もしも「その足蹴りは必要カロリーであるということはない一方で一原子当たりである」ということは成り立たないとすると名状し難くない fact4: 何らかの物が名状し難いということはないとすればまどろっこしいしそれにブランド拡張する fact5: その大笑いが感じ易いならばあの中和はどでかくない fact6: もし仮にその大笑いがどでかくないとするとあの中和は感じ易い fact7: あの中和が感じ易いならこの教外別伝は感じ易い fact8: もし仮にあの中和がどでかいとすればその大笑いは感じ易い fact9: 「まどろっこしいものは女らしいということはないしその上進ぜない」ということは成り立つ fact10: その金融恐慌はどでかい fact11: もしも「「どでかくない」ということは成り立つ」物はあるとすると「その大笑いはどでかいしさらに柔い」ということは成り立たない fact12: なんらかの物が女らしいということはないしさらに進ぜないとするとどでかくない fact13: もし仮に「その大笑いはどでかい」ということは正しいとするとあの中和は感じ易い fact14: もし「何かはどでかいし更に柔い」ということは成り立たないとすると「それはどでかくない」ということは成り立つ fact15: 「その足蹴りは必要カロリーだということはないがしかし一原子当たりだ」ということは成り立たない fact16: 仮にその大笑いは感じ易くないとすれば「あの中和はどでかい」ということは真実だ fact17: もしあの中和が感じ易くないとすればその大笑いはどでかくない fact18: あの中和は鋳直す
void -> assump2: 以下のように仮定する。あの中和はどでかい; fact8 & assump2 -> int1: その大笑いは感じ易い; void -> assump1: 以下のように仮定する。その大笑いは感じ易くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの中和はどでかくない; [assump1] & int3 -> hypothesis;
この教外別伝は感じ易い
fact23 -> int4: 仮に「その大笑いはどでかくて柔い」ということは成り立つということはないとしたらそれはどでかいということはない; fact19 -> int5: もし仮にその足蹴りが女らしくないしさらに進ぜないとしたら「それはどでかくない」ということは成り立つ; fact27 -> int6: もしその足蹴りはまどろっこしいとすると「女らしくないしそれに進ぜるということはない」ということは確かだ; fact24 -> int7: もし仮にその足蹴りは名状し難くないとすればまどろっこしいしブランド拡張する; fact25 & fact20 -> int8: その足蹴りは名状し難くない; int7 & int8 -> int9: その足蹴りはまどろっこしいし更にブランド拡張する; int9 -> int10: その足蹴りはまどろっこしい; int6 & int10 -> int11: その足蹴りは女らしくないし進ぜるということはない; int5 & int11 -> int12: 「その足蹴りはどでかくない」ということは事実だ; int12 -> int13: 「どでかくない」ものはある; int13 & fact26 -> int14: 「その大笑いはどでかいし柔い」ということは偽だ; int4 & int14 -> int15: その大笑いはどでかくない; fact21 & int15 -> int16: あの中和は感じ易い; fact22 & int16 -> hypothesis;
$facts$ = fact1: あの中和は感じ易い fact2: その約定品はどでかい fact3: もしも「その足蹴りは必要カロリーであるということはない一方で一原子当たりである」ということは成り立たないとすると名状し難くない fact4: 何らかの物が名状し難いということはないとすればまどろっこしいしそれにブランド拡張する fact5: その大笑いが感じ易いならばあの中和はどでかくない fact6: もし仮にその大笑いがどでかくないとするとあの中和は感じ易い fact7: あの中和が感じ易いならこの教外別伝は感じ易い fact8: もし仮にあの中和がどでかいとすればその大笑いは感じ易い fact9: 「まどろっこしいものは女らしいということはないしその上進ぜない」ということは成り立つ fact10: その金融恐慌はどでかい fact11: もしも「「どでかくない」ということは成り立つ」物はあるとすると「その大笑いはどでかいしさらに柔い」ということは成り立たない fact12: なんらかの物が女らしいということはないしさらに進ぜないとするとどでかくない fact13: もし仮に「その大笑いはどでかい」ということは正しいとするとあの中和は感じ易い fact14: もし「何かはどでかいし更に柔い」ということは成り立たないとすると「それはどでかくない」ということは成り立つ fact15: 「その足蹴りは必要カロリーだということはないがしかし一原子当たりだ」ということは成り立たない fact16: 仮にその大笑いは感じ易くないとすれば「あの中和はどでかい」ということは真実だ fact17: もしあの中和が感じ易くないとすればその大笑いはどでかくない fact18: あの中和は鋳直す ; $hypothesis$ = もしもその大笑いが感じ易くないとしたらあの中和はどでかくない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの中和はどでかい; fact8 & assump2 -> int1: その大笑いは感じ易い; void -> assump1: 以下のように仮定する。その大笑いは感じ易くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの中和はどでかくない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの中和は感じ易い
事実2: その約定品はどでかい
事実3: もしも「その足蹴りは必要カロリーであるということはない一方で一原子当たりである」ということは成り立たないとすると名状し難くない
事実4: 何らかの物が名状し難いということはないとすればまどろっこしいしそれにブランド拡張する
事実5: その大笑いが感じ易いならばあの中和はどでかくない
事実6: もし仮にその大笑いがどでかくないとするとあの中和は感じ易い
事実7: あの中和が感じ易いならこの教外別伝は感じ易い
事実8: もし仮にあの中和がどでかいとすればその大笑いは感じ易い
事実9: 「まどろっこしいものは女らしいということはないしその上進ぜない」ということは成り立つ
事実10: その金融恐慌はどでかい
事実11: もしも「「どでかくない」ということは成り立つ」物はあるとすると「その大笑いはどでかいしさらに柔い」ということは成り立たない
事実12: なんらかの物が女らしいということはないしさらに進ぜないとするとどでかくない
事実13: もし仮に「その大笑いはどでかい」ということは正しいとするとあの中和は感じ易い
事実14: もし「何かはどでかいし更に柔い」ということは成り立たないとすると「それはどでかくない」ということは成り立つ
事実15: 「その足蹴りは必要カロリーだということはないがしかし一原子当たりだ」ということは成り立たない
事実16: 仮にその大笑いは感じ易くないとすれば「あの中和はどでかい」ということは真実だ
事実17: もしあの中和が感じ易くないとすればその大笑いはどでかくない
事実18: あの中和は鋳直す

仮説: もしもその大笑いが感じ易くないとしたらあの中和はどでかくない
1. 仮定2: 以下のように仮定する。あの中和はどでかい
2. 事実8と仮定2から、推論1: "その大笑いは感じ易い"が導かれる
3. 仮定1: 以下のように仮定する。その大笑いは感じ易くない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの中和はどでかくない"が導かれる
6. [仮定1]と推論3から、仮説が導かれる

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