あの電源設定タブは鋭くない
fact1: もしある物が差し入れするということはないならば眠くない fact2: このＳＩデは倒立攪拌する fact3: もし仮に「とある物は学問領域でないか習い覚えないかまたは両方ともである」ということは偽だとすれば「平たい」ということは本当だ fact4: あの電源設定タブは平たい fact5: もし何らかのものが習い覚えるということはないなら平たい fact6: 仮にこのＳＩデは差し入れするとしたら「学問領域でないかあるいはそれは習い覚えない」ということは誤りである fact7: このＳＩデは差し入れする fact8: もしなにかはでかくないとすれば「それは鋭くない」ということは成り立つ fact9: その天こ盛りは差し入れする fact10: もしあの電源設定タブが眠くてでかいならこのＳＩデは平たいということはない fact11: このＳＩデは鋭いならば「眠くないかもしくは学問領域でないかまたはどちらもだ」ということは間違いだ fact12: もし仮に「とある物は付け易くない」ということは成り立てばそれは眠くない fact13: あの電源設定タブは眠い
void -> assump1: 以下のように仮定する。あの電源設定タブはでかい; fact13 & assump1 -> int1: あの電源設定タブは眠いしそれにでかい; int1 & fact10 -> int2: このＳＩデは平たくない; fact7 & fact6 -> int3: 「このＳＩデは学問領域でないか習い覚えないかまたは両方ともだ」ということは嘘である; fact3 -> int4: もし仮に「「このＳＩデは学問領域でないか習い覚えないかあるいは両方である」ということは事実だ」ということは誤りならそれは平たい; int3 & int4 -> int5: このＳＩデは平たい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの電源設定タブはでかくない; fact8 -> int8: もしもあの電源設定タブがでかくないとすればそれは鋭くない; int7 & int8 -> hypothesis;
あの電源設定タブは鋭い
fact14 -> int9: もし仮にあの電源設定タブは習い覚えるということはないなら「それは平たい」ということは本当である;
$facts$ = fact1: もしある物が差し入れするということはないならば眠くない fact2: このＳＩデは倒立攪拌する fact3: もし仮に「とある物は学問領域でないか習い覚えないかまたは両方ともである」ということは偽だとすれば「平たい」ということは本当だ fact4: あの電源設定タブは平たい fact5: もし何らかのものが習い覚えるということはないなら平たい fact6: 仮にこのＳＩデは差し入れするとしたら「学問領域でないかあるいはそれは習い覚えない」ということは誤りである fact7: このＳＩデは差し入れする fact8: もしなにかはでかくないとすれば「それは鋭くない」ということは成り立つ fact9: その天こ盛りは差し入れする fact10: もしあの電源設定タブが眠くてでかいならこのＳＩデは平たいということはない fact11: このＳＩデは鋭いならば「眠くないかもしくは学問領域でないかまたはどちらもだ」ということは間違いだ fact12: もし仮に「とある物は付け易くない」ということは成り立てばそれは眠くない fact13: あの電源設定タブは眠い ; $hypothesis$ = あの電源設定タブは鋭くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの電源設定タブはでかい; fact13 & assump1 -> int1: あの電源設定タブは眠いしそれにでかい; int1 & fact10 -> int2: このＳＩデは平たくない; fact7 & fact6 -> int3: 「このＳＩデは学問領域でないか習い覚えないかまたは両方ともだ」ということは嘘である; fact3 -> int4: もし仮に「「このＳＩデは学問領域でないか習い覚えないかあるいは両方である」ということは事実だ」ということは誤りならそれは平たい; int3 & int4 -> int5: このＳＩデは平たい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの電源設定タブはでかくない; fact8 -> int8: もしもあの電源設定タブがでかくないとすればそれは鋭くない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしある物が差し入れするということはないならば眠くない
事実2: このＳＩデは倒立攪拌する
事実3: もし仮に「とある物は学問領域でないか習い覚えないかまたは両方ともである」ということは偽だとすれば「平たい」ということは本当だ
事実4: あの電源設定タブは平たい
事実5: もし何らかのものが習い覚えるということはないなら平たい
事実6: 仮にこのＳＩデは差し入れするとしたら「学問領域でないかあるいはそれは習い覚えない」ということは誤りである
事実7: このＳＩデは差し入れする
事実8: もしなにかはでかくないとすれば「それは鋭くない」ということは成り立つ
事実9: その天こ盛りは差し入れする
事実10: もしあの電源設定タブが眠くてでかいならこのＳＩデは平たいということはない
事実11: このＳＩデは鋭いならば「眠くないかもしくは学問領域でないかまたはどちらもだ」ということは間違いだ
事実12: もし仮に「とある物は付け易くない」ということは成り立てばそれは眠くない
事実13: あの電源設定タブは眠い

仮説: あの電源設定タブは鋭くない
1. 仮定1: 以下のように仮定する。あの電源設定タブはでかい
2. 事実13と仮定1から、推論1: "あの電源設定タブは眠いしそれにでかい"が導かれる
3. 推論1と事実10から、推論2: "このＳＩデは平たくない"が導かれる
4. 事実7と事実6から、推論3: "「このＳＩデは学問領域でないか習い覚えないかまたは両方ともだ」ということは嘘である"が導かれる
5. 事実3から、推論4: "もし仮に「「このＳＩデは学問領域でないか習い覚えないかあるいは両方である」ということは事実だ」ということは誤りならそれは平たい"が導かれる
6. 推論3と推論4から、推論5: "このＳＩデは平たい"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの電源設定タブはでかくない"が導かれる
9. 事実8から、推論8: "もしもあの電源設定タブがでかくないとすればそれは鋭くない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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