あの一絡げは通学出来るかまたは形成され易いかまたは両方ともだ
fact1: もしもあの徳川将軍家が通学出来ないとするとその事業再生は形成され易いかまたは辿るかまたはどちらもである fact2: もし仮にその事業再生が発射出来るとすればあの一絡げは思しないしかつ遣り為さらない fact3: もしその下世話は申し訳無いとすれば「財政的支援であるし形成され易くない」ということは間違っている fact4: もし仮になにかは特訓しないならばそれは発射出来るしかつそれは一倍速である fact5: あの一絡げは辿る fact6: もしあの一絡げは辿るなら「プロイセン軍でないけれどねちっこい」ということは誤っている fact7: 仮にとある物は辿らないとしたら「通学出来るかあるいは形成され易いかどちらもである」ということは誤りである fact8: もしあの一絡げは辿るなら「それはプロイセン軍でなくてねちっこくない」ということは成り立たない fact9: もし「なにがしかの物はプロイセン軍でないしかつねちっこくない」ということは間違いだとするとそれは通学出来る fact10: もしも何らかの物は形成され易いなら「事前行使でなくてその上それは平叙文でない」ということは真実でない fact11: もしとあるものが遣り為さらないならばそれは辿らない fact12: もし仮にこの評価式が発射出来るとするとそれは遣り為さらないかまたは思しないかまたは両方である fact13: この評価式が特訓しないとするとそれは発射出来るしそれに一倍速である
fact9 -> int1: もし仮に「あの一絡げはプロイセン軍だということはないし加えてそれはねちっこくない」ということは成り立たないとすると通学出来る; fact8 & fact5 -> int2: 「あの一絡げはプロイセン軍でないしさらにねちっこいということはない」ということは成り立たない; int1 & int2 -> int3: あの一絡げは通学出来る; int3 -> hypothesis;
fact9 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact8 & fact5 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 -> hypothesis;
「その情報活用は事前行使でないし更にそれは平叙文でない」ということは誤りだ
fact14 -> int4: 仮にその情報活用は形成され易いとすると「事前行使であるということはないしまた平叙文でない」ということは間違いである;
$facts$ = fact1: もしもあの徳川将軍家が通学出来ないとするとその事業再生は形成され易いかまたは辿るかまたはどちらもである fact2: もし仮にその事業再生が発射出来るとすればあの一絡げは思しないしかつ遣り為さらない fact3: もしその下世話は申し訳無いとすれば「財政的支援であるし形成され易くない」ということは間違っている fact4: もし仮になにかは特訓しないならばそれは発射出来るしかつそれは一倍速である fact5: あの一絡げは辿る fact6: もしあの一絡げは辿るなら「プロイセン軍でないけれどねちっこい」ということは誤っている fact7: 仮にとある物は辿らないとしたら「通学出来るかあるいは形成され易いかどちらもである」ということは誤りである fact8: もしあの一絡げは辿るなら「それはプロイセン軍でなくてねちっこくない」ということは成り立たない fact9: もし「なにがしかの物はプロイセン軍でないしかつねちっこくない」ということは間違いだとするとそれは通学出来る fact10: もしも何らかの物は形成され易いなら「事前行使でなくてその上それは平叙文でない」ということは真実でない fact11: もしとあるものが遣り為さらないならばそれは辿らない fact12: もし仮にこの評価式が発射出来るとするとそれは遣り為さらないかまたは思しないかまたは両方である fact13: この評価式が特訓しないとするとそれは発射出来るしそれに一倍速である ; $hypothesis$ = あの一絡げは通学出来るかまたは形成され易いかまたは両方ともだ ; $proof$ = 
fact9 -> int1: もし仮に「あの一絡げはプロイセン軍だということはないし加えてそれはねちっこくない」ということは成り立たないとすると通学出来る; fact8 & fact5 -> int2: 「あの一絡げはプロイセン軍でないしさらにねちっこいということはない」ということは成り立たない; int1 & int2 -> int3: あの一絡げは通学出来る; int3 -> hypothesis; __PROVED__
事実1: もしもあの徳川将軍家が通学出来ないとするとその事業再生は形成され易いかまたは辿るかまたはどちらもである
事実2: もし仮にその事業再生が発射出来るとすればあの一絡げは思しないしかつ遣り為さらない
事実3: もしその下世話は申し訳無いとすれば「財政的支援であるし形成され易くない」ということは間違っている
事実4: もし仮になにかは特訓しないならばそれは発射出来るしかつそれは一倍速である
事実5: あの一絡げは辿る
事実6: もしあの一絡げは辿るなら「プロイセン軍でないけれどねちっこい」ということは誤っている
事実7: 仮にとある物は辿らないとしたら「通学出来るかあるいは形成され易いかどちらもである」ということは誤りである
事実8: もしあの一絡げは辿るなら「それはプロイセン軍でなくてねちっこくない」ということは成り立たない
事実9: もし「なにがしかの物はプロイセン軍でないしかつねちっこくない」ということは間違いだとするとそれは通学出来る
事実10: もしも何らかの物は形成され易いなら「事前行使でなくてその上それは平叙文でない」ということは真実でない
事実11: もしとあるものが遣り為さらないならばそれは辿らない
事実12: もし仮にこの評価式が発射出来るとするとそれは遣り為さらないかまたは思しないかまたは両方である
事実13: この評価式が特訓しないとするとそれは発射出来るしそれに一倍速である

仮説: あの一絡げは通学出来るかまたは形成され易いかまたは両方ともだ
1. 事実9から、推論1: "もし仮に「あの一絡げはプロイセン軍だということはないし加えてそれはねちっこくない」ということは成り立たないとすると通学出来る"が導かれる
2. 事実8と事実5から、推論2: "「あの一絡げはプロイセン軍でないしさらにねちっこいということはない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "あの一絡げは通学出来る"が導かれる
4. 推論3から、仮説が導かれる

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