「あのＣＯＭは借り易いか御早いかまたはどちらもだ」ということは成り立たない
fact1: その学校システムは俗っぽくない fact2: あの独立機関は財務体質であるかまたはそれはし辛い fact3: もしもこの脱走者が構造物であるということはないとすればそれは乗り上げるし更にそれはオープンソースソフトウェアである fact4: その学校システムは借り易くないとしたら「あのＣＯＭは御早いかもしくは俗っぽいかあるいは両方である」ということは成り立たない fact5: もし仮にこの脱走者がし辛いということはないとするとドアノブでないし構造物でない fact6: その学校システムは借り易くない fact7: 仮にあのＣＯＭは俗っぽくないならば「その学校システムは借り易いかまたはそれは御早いかあるいは両方ともだ」ということは嘘だ fact8: 「仮に「その学校システムはステージ上であるということはない」ということは本当だとするとあのＣＯＭは取得し易くない」ということは成り立つ fact9: 「仮にあの独立機関が財務体質であるとするとこの脱走者はし辛いということはない」ということは真実だ fact10: もしこの一皮が攪乱するとするとあの水晶玉は攪乱する fact11: もしその学校システムは借り易くないとしたら「あのＣＯＭは俗っぽいということはない」ということは成り立つ fact12: もしもあの水晶玉が攪乱するとするとその学校システムは攪乱する fact13: もし仮になにがしかのものが攪乱するとしたらそれはステージ上であるということはない fact14: もしこの脱走者が乗り上げるならばあの一皮は攪乱する fact15: 取得し易くないものは御早いししかも俗っぽい fact16: もしその学校システムは俗っぽくないならば「あのＣＯＭは借り易いかあるいはそれは御早い」ということは事実でない fact17: その学校システムは御早くない fact18: そのフィナンシャルプランナーは御早くない
fact16 & fact1 -> hypothesis;
fact16 & fact1 -> hypothesis;
あのＣＯＭは借り易いかまたは御早いかまたは両方ともだ
fact21 -> int1: 仮にあのＣＯＭは取得し易くないとすれば御早くて俗っぽい; fact23 -> int2: 仮に「その学校システムは攪乱する」ということは事実だとしたらそれはステージ上だということはない;
$facts$ = fact1: その学校システムは俗っぽくない fact2: あの独立機関は財務体質であるかまたはそれはし辛い fact3: もしもこの脱走者が構造物であるということはないとすればそれは乗り上げるし更にそれはオープンソースソフトウェアである fact4: その学校システムは借り易くないとしたら「あのＣＯＭは御早いかもしくは俗っぽいかあるいは両方である」ということは成り立たない fact5: もし仮にこの脱走者がし辛いということはないとするとドアノブでないし構造物でない fact6: その学校システムは借り易くない fact7: 仮にあのＣＯＭは俗っぽくないならば「その学校システムは借り易いかまたはそれは御早いかあるいは両方ともだ」ということは嘘だ fact8: 「仮に「その学校システムはステージ上であるということはない」ということは本当だとするとあのＣＯＭは取得し易くない」ということは成り立つ fact9: 「仮にあの独立機関が財務体質であるとするとこの脱走者はし辛いということはない」ということは真実だ fact10: もしこの一皮が攪乱するとするとあの水晶玉は攪乱する fact11: もしその学校システムは借り易くないとしたら「あのＣＯＭは俗っぽいということはない」ということは成り立つ fact12: もしもあの水晶玉が攪乱するとするとその学校システムは攪乱する fact13: もし仮になにがしかのものが攪乱するとしたらそれはステージ上であるということはない fact14: もしこの脱走者が乗り上げるならばあの一皮は攪乱する fact15: 取得し易くないものは御早いししかも俗っぽい fact16: もしその学校システムは俗っぽくないならば「あのＣＯＭは借り易いかあるいはそれは御早い」ということは事実でない fact17: その学校システムは御早くない fact18: そのフィナンシャルプランナーは御早くない ; $hypothesis$ = 「あのＣＯＭは借り易いか御早いかまたはどちらもだ」ということは成り立たない ; $proof$ = 
fact16 & fact1 -> hypothesis; __PROVED__
事実1: その学校システムは俗っぽくない
事実2: あの独立機関は財務体質であるかまたはそれはし辛い
事実3: もしもこの脱走者が構造物であるということはないとすればそれは乗り上げるし更にそれはオープンソースソフトウェアである
事実4: その学校システムは借り易くないとしたら「あのＣＯＭは御早いかもしくは俗っぽいかあるいは両方である」ということは成り立たない
事実5: もし仮にこの脱走者がし辛いということはないとするとドアノブでないし構造物でない
事実6: その学校システムは借り易くない
事実7: 仮にあのＣＯＭは俗っぽくないならば「その学校システムは借り易いかまたはそれは御早いかあるいは両方ともだ」ということは嘘だ
事実8: 「仮に「その学校システムはステージ上であるということはない」ということは本当だとするとあのＣＯＭは取得し易くない」ということは成り立つ
事実9: 「仮にあの独立機関が財務体質であるとするとこの脱走者はし辛いということはない」ということは真実だ
事実10: もしこの一皮が攪乱するとするとあの水晶玉は攪乱する
事実11: もしその学校システムは借り易くないとしたら「あのＣＯＭは俗っぽいということはない」ということは成り立つ
事実12: もしもあの水晶玉が攪乱するとするとその学校システムは攪乱する
事実13: もし仮になにがしかのものが攪乱するとしたらそれはステージ上であるということはない
事実14: もしこの脱走者が乗り上げるならばあの一皮は攪乱する
事実15: 取得し易くないものは御早いししかも俗っぽい
事実16: もしその学校システムは俗っぽくないならば「あのＣＯＭは借り易いかあるいはそれは御早い」ということは事実でない
事実17: その学校システムは御早くない
事実18: そのフィナンシャルプランナーは御早くない

仮説: 「あのＣＯＭは借り易いか御早いかまたはどちらもだ」ということは成り立たない
1. 事実16と事実1から、仮説が導かれる

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