あの自室は放てるない
fact1: 仮に「ある物は狂うしさらにそれは低い」ということは成り立たないとしたらそれは放てるない fact2: もし仮にあの秩序政策は低くないならば「あの自室は狂うししかも低い」ということは成り立たない fact3: もし「そのベクターデータは放てる」ということは本当だとしたら「あの自室は成功し易いということはないかまたは狂うか両方ともだ」ということは誤っている fact4: もし仮にそのベクターデータは成功し易いとすると「あの秩序政策は下向かないかまたは付き難いか両方だ」ということは間違っている fact5: 仮にとあるものは狂わないとすれば「低いということはなくて成功し易い」ということは間違いだ fact6: 「とあるものは下向かないかもしくは付き難いかもしくは両方ともである」ということは本当でないとしたらそれは低いということはない fact7: あの秩序政策は下向く fact8: もしも「「あの秩序政策は低くないかそれは下向く」ということは正しい」ということは偽ならそれは成功し易くない fact9: もし仮にあの自室が狂わないとするとそれは放てるない fact10: そのベクターデータは成功し易い fact11: 「何かは下向くか付き難いかまたはどちらもである」ということは誤りであるならば低くない fact12: もし仮にそのベクターデータが狂うということはないならばそれは低いということはないか成功し易くないかもしくは両方ともである fact13: 仮に「そのベクターデータは低くないが成功し易い」ということは事実と異なるならこのムスリムは付き難くない fact14: もしも「あの秩序政策は下向くか付き難い」ということは成り立たないならば低くない
fact4 & fact10 -> int1: 「あの秩序政策は下向かないかあるいは付き難いかあるいはどちらもだ」ということは成り立たない; fact6 -> int2: 「あの秩序政策は下向くということはないかまたは付き難いかもしくは両方ともだ」ということは事実と異なるならそれは低くない; int1 & int2 -> int3: あの秩序政策は低いということはない; int3 & fact2 -> int4: 「あの自室は狂うしさらに低い」ということは事実と異なる; fact1 -> int5: もしも「あの自室は狂うしまた低い」ということは成り立たないとすると放てるということはない; int4 & int5 -> hypothesis;
あの自室は放てる
$facts$ = fact1: 仮に「ある物は狂うしさらにそれは低い」ということは成り立たないとしたらそれは放てるない fact2: もし仮にあの秩序政策は低くないならば「あの自室は狂うししかも低い」ということは成り立たない fact3: もし「そのベクターデータは放てる」ということは本当だとしたら「あの自室は成功し易いということはないかまたは狂うか両方ともだ」ということは誤っている fact4: もし仮にそのベクターデータは成功し易いとすると「あの秩序政策は下向かないかまたは付き難いか両方だ」ということは間違っている fact5: 仮にとあるものは狂わないとすれば「低いということはなくて成功し易い」ということは間違いだ fact6: 「とあるものは下向かないかもしくは付き難いかもしくは両方ともである」ということは本当でないとしたらそれは低いということはない fact7: あの秩序政策は下向く fact8: もしも「「あの秩序政策は低くないかそれは下向く」ということは正しい」ということは偽ならそれは成功し易くない fact9: もし仮にあの自室が狂わないとするとそれは放てるない fact10: そのベクターデータは成功し易い fact11: 「何かは下向くか付き難いかまたはどちらもである」ということは誤りであるならば低くない fact12: もし仮にそのベクターデータが狂うということはないならばそれは低いということはないか成功し易くないかもしくは両方ともである fact13: 仮に「そのベクターデータは低くないが成功し易い」ということは事実と異なるならこのムスリムは付き難くない fact14: もしも「あの秩序政策は下向くか付き難い」ということは成り立たないならば低くない ; $hypothesis$ = あの自室は放てるない ; $proof$ = 
fact4 & fact10 -> int1: 「あの秩序政策は下向かないかあるいは付き難いかあるいはどちらもだ」ということは成り立たない; fact6 -> int2: 「あの秩序政策は下向くということはないかまたは付き難いかもしくは両方ともだ」ということは事実と異なるならそれは低くない; int1 & int2 -> int3: あの秩序政策は低いということはない; int3 & fact2 -> int4: 「あの自室は狂うしさらに低い」ということは事実と異なる; fact1 -> int5: もしも「あの自室は狂うしまた低い」ということは成り立たないとすると放てるということはない; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮に「ある物は狂うしさらにそれは低い」ということは成り立たないとしたらそれは放てるない
事実2: もし仮にあの秩序政策は低くないならば「あの自室は狂うししかも低い」ということは成り立たない
事実3: もし「そのベクターデータは放てる」ということは本当だとしたら「あの自室は成功し易いということはないかまたは狂うか両方ともだ」ということは誤っている
事実4: もし仮にそのベクターデータは成功し易いとすると「あの秩序政策は下向かないかまたは付き難いか両方だ」ということは間違っている
事実5: 仮にとあるものは狂わないとすれば「低いということはなくて成功し易い」ということは間違いだ
事実6: 「とあるものは下向かないかもしくは付き難いかもしくは両方ともである」ということは本当でないとしたらそれは低いということはない
事実7: あの秩序政策は下向く
事実8: もしも「「あの秩序政策は低くないかそれは下向く」ということは正しい」ということは偽ならそれは成功し易くない
事実9: もし仮にあの自室が狂わないとするとそれは放てるない
事実10: そのベクターデータは成功し易い
事実11: 「何かは下向くか付き難いかまたはどちらもである」ということは誤りであるならば低くない
事実12: もし仮にそのベクターデータが狂うということはないならばそれは低いということはないか成功し易くないかもしくは両方ともである
事実13: 仮に「そのベクターデータは低くないが成功し易い」ということは事実と異なるならこのムスリムは付き難くない
事実14: もしも「あの秩序政策は下向くか付き難い」ということは成り立たないならば低くない

仮説: あの自室は放てるない
1. 事実4と事実10から、推論1: "「あの秩序政策は下向かないかあるいは付き難いかあるいはどちらもだ」ということは成り立たない"が導かれる
2. 事実6から、推論2: "「あの秩序政策は下向くということはないかまたは付き難いかもしくは両方ともだ」ということは事実と異なるならそれは低くない"が導かれる
3. 推論1と推論2から、推論3: "あの秩序政策は低いということはない"が導かれる
4. 推論3と事実2から、推論4: "「あの自室は狂うしさらに低い」ということは事実と異なる"が導かれる
5. 事実1から、推論5: "もしも「あの自室は狂うしまた低い」ということは成り立たないとすると放てるということはない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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