あのＳワンは見え易くない
fact1: 仮に「そのおべっかは弱肉であるけど弱くない」ということは間違っているとすればこのパウダースノーは小気味良い fact2: もし「あのマミーは題さない」ということは成り立つとすると「あのＳワンは見え易くない」ということは成り立つ fact3: もし小気味良い物が木椀だとしたら見苦しいということはない fact4: この開示請求者が発行企業ならばあのＳワンは堪え得る fact5: もし何らかのものが投げ打たないしさらに盗むということはないならばそれは多重継承だ fact6: もし仮にそのおべっかが寄る辺無いなら内臓風景である fact7: もし仮にこの施設・病院は臨むとすると「この開示請求者は発行企業である」ということは事実だ fact8: 仮になにがしかのものが投げ打たないがしかしそれが盗むとすると多重継承である fact9: あのマミーは投げ打たなくてかつそれは盗まない fact10: あのマミーは堪え得る fact11: 「この最判は木椀でないし更にスポイルしない」ということは嘘である fact12: 見苦しいということはない物があればこの施設・病院は臨むかあるいはそれは甘ったるいかまたはどちらもだ fact13: そのおべっかは寄る辺無い fact14: もし仮になんらかのものは内臓風景であるとしたら「弱肉だしそれは弱くない」ということは嘘である fact15: 「「木椀でないしさらにスポイルしない」ということは成り立たない」ものはあるとすると「このパウダースノーは木椀だ」ということは成り立つ fact16: 仮に多重継承が題すなら堪え得るということはない fact17: もしある物は多重継承だということはない一方で題せばそれは見え易い
fact5 -> int1: 仮にあのマミーが投げ打たなくてそれが盗まないとすればそれは多重継承だ; int1 & fact9 -> int2: あのマミーは多重継承だ; void -> assump1: 以下のように仮定する。あのマミーは題す; int2 & assump1 -> int3: あのマミーは多重継承だし加えて題す; fact16 -> int4: もし仮にあのマミーが多重継承であるしおまけに題すとしたらそれは堪え得ない; int3 & int4 -> int5: あのマミーは堪え得ない; int5 & fact10 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのマミーは題すということはない; int7 & fact2 -> hypothesis;
あのＳワンは見え易い
fact23 -> int8: 仮にあのＳワンは多重継承でないが題すならそれは見え易い; fact27 -> int9: 「このパウダースノーは小気味良いししかもそれは木椀だ」ということは本当であるならば「見苦しいということはない」ということは本当だ; fact24 -> int10: もしもそのおべっかは内臓風景なら「弱肉だが弱くない」ということは成り立たない; fact20 & fact28 -> int11: そのおべっかは内臓風景である; int10 & int11 -> int12: 「「そのおべっかは弱肉であるがしかし弱くない」ということは間違いである」ということは事実だ; fact18 & int12 -> int13: このパウダースノーは小気味良い; fact21 -> int14: 「「木椀でなくてまたスポイルするということはない」ということは嘘である」ものはある; int14 & fact26 -> int15: このパウダースノーは木椀である; int13 & int15 -> int16: このパウダースノーは小気味良くて木椀だ; int9 & int16 -> int17: このパウダースノーは見苦しいということはない; int17 -> int18: 「「見苦しくない」ということは確かな」物はある; int18 & fact19 -> int19: この施設・病院は臨むか甘ったるい;
$facts$ = fact1: 仮に「そのおべっかは弱肉であるけど弱くない」ということは間違っているとすればこのパウダースノーは小気味良い fact2: もし「あのマミーは題さない」ということは成り立つとすると「あのＳワンは見え易くない」ということは成り立つ fact3: もし小気味良い物が木椀だとしたら見苦しいということはない fact4: この開示請求者が発行企業ならばあのＳワンは堪え得る fact5: もし何らかのものが投げ打たないしさらに盗むということはないならばそれは多重継承だ fact6: もし仮にそのおべっかが寄る辺無いなら内臓風景である fact7: もし仮にこの施設・病院は臨むとすると「この開示請求者は発行企業である」ということは事実だ fact8: 仮になにがしかのものが投げ打たないがしかしそれが盗むとすると多重継承である fact9: あのマミーは投げ打たなくてかつそれは盗まない fact10: あのマミーは堪え得る fact11: 「この最判は木椀でないし更にスポイルしない」ということは嘘である fact12: 見苦しいということはない物があればこの施設・病院は臨むかあるいはそれは甘ったるいかまたはどちらもだ fact13: そのおべっかは寄る辺無い fact14: もし仮になんらかのものは内臓風景であるとしたら「弱肉だしそれは弱くない」ということは嘘である fact15: 「「木椀でないしさらにスポイルしない」ということは成り立たない」ものはあるとすると「このパウダースノーは木椀だ」ということは成り立つ fact16: 仮に多重継承が題すなら堪え得るということはない fact17: もしある物は多重継承だということはない一方で題せばそれは見え易い ; $hypothesis$ = あのＳワンは見え易くない ; $proof$ = 
fact5 -> int1: 仮にあのマミーが投げ打たなくてそれが盗まないとすればそれは多重継承だ; int1 & fact9 -> int2: あのマミーは多重継承だ; void -> assump1: 以下のように仮定する。あのマミーは題す; int2 & assump1 -> int3: あのマミーは多重継承だし加えて題す; fact16 -> int4: もし仮にあのマミーが多重継承であるしおまけに題すとしたらそれは堪え得ない; int3 & int4 -> int5: あのマミーは堪え得ない; int5 & fact10 -> int6: これは矛盾である; [assump1] & int6 -> int7: あのマミーは題すということはない; int7 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「そのおべっかは弱肉であるけど弱くない」ということは間違っているとすればこのパウダースノーは小気味良い
事実2: もし「あのマミーは題さない」ということは成り立つとすると「あのＳワンは見え易くない」ということは成り立つ
事実3: もし小気味良い物が木椀だとしたら見苦しいということはない
事実4: この開示請求者が発行企業ならばあのＳワンは堪え得る
事実5: もし何らかのものが投げ打たないしさらに盗むということはないならばそれは多重継承だ
事実6: もし仮にそのおべっかが寄る辺無いなら内臓風景である
事実7: もし仮にこの施設・病院は臨むとすると「この開示請求者は発行企業である」ということは事実だ
事実8: 仮になにがしかのものが投げ打たないがしかしそれが盗むとすると多重継承である
事実9: あのマミーは投げ打たなくてかつそれは盗まない
事実10: あのマミーは堪え得る
事実11: 「この最判は木椀でないし更にスポイルしない」ということは嘘である
事実12: 見苦しいということはない物があればこの施設・病院は臨むかあるいはそれは甘ったるいかまたはどちらもだ
事実13: そのおべっかは寄る辺無い
事実14: もし仮になんらかのものは内臓風景であるとしたら「弱肉だしそれは弱くない」ということは嘘である
事実15: 「「木椀でないしさらにスポイルしない」ということは成り立たない」ものはあるとすると「このパウダースノーは木椀だ」ということは成り立つ
事実16: 仮に多重継承が題すなら堪え得るということはない
事実17: もしある物は多重継承だということはない一方で題せばそれは見え易い

仮説: あのＳワンは見え易くない
1. 事実5から、推論1: "仮にあのマミーが投げ打たなくてそれが盗まないとすればそれは多重継承だ"が導かれる
2. 推論1と事実9から、推論2: "あのマミーは多重継承だ"が導かれる
3. 仮定1: 以下のように仮定する。あのマミーは題す
4. 推論2と仮定1から、推論3: "あのマミーは多重継承だし加えて題す"が導かれる
5. 事実16から、推論4: "もし仮にあのマミーが多重継承であるしおまけに題すとしたらそれは堪え得ない"が導かれる
6. 推論3と推論4から、推論5: "あのマミーは堪え得ない"が導かれる
7. 推論5と事実10から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あのマミーは題すということはない"が導かれる
9. 推論7と事実2から、仮説が導かれる

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