仮にそのノンちゃんが気圧であるならその姉夫はこよない
fact1: もしもなんらかの物は受け止め切れるとすれば「それは許し難くないしそれは傷付く」ということは間違いである fact2: その至福は受け止め切れる fact3: そのノンちゃんが気圧だしその上それは発生し易い fact4: もし仮にそのノンちゃんは受け止め切れないとしたら「それは球心構造だということはなくてそれは裏手である」ということは真実でない fact5: 仮にそのノンちゃんは居続けないとすると「あのフリークは発生し易くないがしかし居続ける」ということは間違いである fact6: 「その姉夫は受け止め切れる」ということは誤っていない fact7: あのフリークは気圧である fact8: あのフリークが発生し易いならその姉夫はこよない fact9: 「あのフリークは発生し易いししかも居続ける」ということは成り立たない fact10: 「その御赦免は居続けないけど第一幕だ」ということは偽である fact11: そのノンちゃんは木目細かい fact12: 仮にそのノンちゃんは居続けないとすると「あのフリークは発生し易くてさらに居続ける」ということは事実であるということはない fact13: そのノンちゃんは受け止め切れる fact14: 仮にあるものは受け止め切れるし気圧だとしたら居続けるということはない fact15: もし仮に「あのフリークは発生し易くないけれど居続ける」ということは成り立たないならば「その姉夫はこよない」ということは成り立つ
void -> assump1: 以下のように仮定する。そのノンちゃんは気圧だ; fact13 & assump1 -> int1: そのノンちゃんが受け止め切れるしその上それは気圧だ; fact14 -> int2: そのノンちゃんは受け止め切れるし気圧であるとすればそれは居続けない; int1 & int2 -> int3: そのノンちゃんは居続けない; int3 & fact5 -> int4: 「あのフリークは発生し易くない一方で居続ける」ということは成り立たない; int4 & fact15 -> int5: その姉夫はこよない; [assump1] & int5 -> hypothesis;
「その親水は許し難くないがそれは傷付く」ということは成り立たない
fact16 -> int6: もし仮にその親水は受け止め切れるなら「許し難くないが傷付く」ということは成り立つということはない;
$facts$ = fact1: もしもなんらかの物は受け止め切れるとすれば「それは許し難くないしそれは傷付く」ということは間違いである fact2: その至福は受け止め切れる fact3: そのノンちゃんが気圧だしその上それは発生し易い fact4: もし仮にそのノンちゃんは受け止め切れないとしたら「それは球心構造だということはなくてそれは裏手である」ということは真実でない fact5: 仮にそのノンちゃんは居続けないとすると「あのフリークは発生し易くないがしかし居続ける」ということは間違いである fact6: 「その姉夫は受け止め切れる」ということは誤っていない fact7: あのフリークは気圧である fact8: あのフリークが発生し易いならその姉夫はこよない fact9: 「あのフリークは発生し易いししかも居続ける」ということは成り立たない fact10: 「その御赦免は居続けないけど第一幕だ」ということは偽である fact11: そのノンちゃんは木目細かい fact12: 仮にそのノンちゃんは居続けないとすると「あのフリークは発生し易くてさらに居続ける」ということは事実であるということはない fact13: そのノンちゃんは受け止め切れる fact14: 仮にあるものは受け止め切れるし気圧だとしたら居続けるということはない fact15: もし仮に「あのフリークは発生し易くないけれど居続ける」ということは成り立たないならば「その姉夫はこよない」ということは成り立つ ; $hypothesis$ = 仮にそのノンちゃんが気圧であるならその姉夫はこよない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのノンちゃんは気圧だ; fact13 & assump1 -> int1: そのノンちゃんが受け止め切れるしその上それは気圧だ; fact14 -> int2: そのノンちゃんは受け止め切れるし気圧であるとすればそれは居続けない; int1 & int2 -> int3: そのノンちゃんは居続けない; int3 & fact5 -> int4: 「あのフリークは発生し易くない一方で居続ける」ということは成り立たない; int4 & fact15 -> int5: その姉夫はこよない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は受け止め切れるとすれば「それは許し難くないしそれは傷付く」ということは間違いである
事実2: その至福は受け止め切れる
事実3: そのノンちゃんが気圧だしその上それは発生し易い
事実4: もし仮にそのノンちゃんは受け止め切れないとしたら「それは球心構造だということはなくてそれは裏手である」ということは真実でない
事実5: 仮にそのノンちゃんは居続けないとすると「あのフリークは発生し易くないがしかし居続ける」ということは間違いである
事実6: 「その姉夫は受け止め切れる」ということは誤っていない
事実7: あのフリークは気圧である
事実8: あのフリークが発生し易いならその姉夫はこよない
事実9: 「あのフリークは発生し易いししかも居続ける」ということは成り立たない
事実10: 「その御赦免は居続けないけど第一幕だ」ということは偽である
事実11: そのノンちゃんは木目細かい
事実12: 仮にそのノンちゃんは居続けないとすると「あのフリークは発生し易くてさらに居続ける」ということは事実であるということはない
事実13: そのノンちゃんは受け止め切れる
事実14: 仮にあるものは受け止め切れるし気圧だとしたら居続けるということはない
事実15: もし仮に「あのフリークは発生し易くないけれど居続ける」ということは成り立たないならば「その姉夫はこよない」ということは成り立つ

仮説: 仮にそのノンちゃんが気圧であるならその姉夫はこよない
1. 仮定1: 以下のように仮定する。そのノンちゃんは気圧だ
2. 事実13と仮定1から、推論1: "そのノンちゃんが受け止め切れるしその上それは気圧だ"が導かれる
3. 事実14から、推論2: "そのノンちゃんは受け止め切れるし気圧であるとすればそれは居続けない"が導かれる
4. 推論1と推論2から、推論3: "そのノンちゃんは居続けない"が導かれる
5. 推論3と事実5から、推論4: "「あのフリークは発生し易くない一方で居続ける」ということは成り立たない"が導かれる
6. 推論4と事実15から、推論5: "その姉夫はこよない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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