あの彼女以外は休学する
fact1: 「この軍事的勝利は減軽しないけれどそれは休学する」ということは成り立たない fact2: この軍事的勝利は休学する fact3: 「もしもこの軍事的勝利が立ち入れないし加えてコメディーでないとしたらそのリベラリズムは立ち入れる」ということは本当だ fact4: なんらかのものがごっついとすればそれは休学する fact5: 「この軍事的勝利は休学しない一方で立ち入れる」ということは誤っていればあの彼女以外は減軽する fact6: もし仮に「この軍事的勝利は立ち入れないけれど減軽する」ということは誤りであるとするとあの彼女以外は休学する fact7: もしも「あの彼女以外は立ち入れない一方でそれは減軽する」ということは偽だとしたらこの軍事的勝利は休学する fact8: 「あの彼女以外は休学しないけど減軽する」ということは本当でないとするとこの軍事的勝利は立ち入れる fact9: あの奏法は減軽する fact10: もしもあるものは休学しないかあるいはごっつかないかまたはどちらもだとするとそれは休学しない fact11: この軍事的勝利が減軽するということはないならばあの彼女以外は休学する fact12: もしもこの軍事的勝利がコメディーだとしたらあの彼女以外は休学しないかあるいはそれはごっつかないかあるいは両方ともだ fact13: 「この軍事的勝利は立ち入れない一方で減軽する」ということは成り立たない
fact6 & fact13 -> hypothesis;
fact6 & fact13 -> hypothesis;
「あの彼女以外は休学しない」ということは成り立つ
fact15 -> int1: もしあの彼女以外が休学しないかもしくはごっつかないかもしくは両方であるとしたら休学しない;
$facts$ = fact1: 「この軍事的勝利は減軽しないけれどそれは休学する」ということは成り立たない fact2: この軍事的勝利は休学する fact3: 「もしもこの軍事的勝利が立ち入れないし加えてコメディーでないとしたらそのリベラリズムは立ち入れる」ということは本当だ fact4: なんらかのものがごっついとすればそれは休学する fact5: 「この軍事的勝利は休学しない一方で立ち入れる」ということは誤っていればあの彼女以外は減軽する fact6: もし仮に「この軍事的勝利は立ち入れないけれど減軽する」ということは誤りであるとするとあの彼女以外は休学する fact7: もしも「あの彼女以外は立ち入れない一方でそれは減軽する」ということは偽だとしたらこの軍事的勝利は休学する fact8: 「あの彼女以外は休学しないけど減軽する」ということは本当でないとするとこの軍事的勝利は立ち入れる fact9: あの奏法は減軽する fact10: もしもあるものは休学しないかあるいはごっつかないかまたはどちらもだとするとそれは休学しない fact11: この軍事的勝利が減軽するということはないならばあの彼女以外は休学する fact12: もしもこの軍事的勝利がコメディーだとしたらあの彼女以外は休学しないかあるいはそれはごっつかないかあるいは両方ともだ fact13: 「この軍事的勝利は立ち入れない一方で減軽する」ということは成り立たない ; $hypothesis$ = あの彼女以外は休学する ; $proof$ = 
fact6 & fact13 -> hypothesis; __PROVED__
事実1: 「この軍事的勝利は減軽しないけれどそれは休学する」ということは成り立たない
事実2: この軍事的勝利は休学する
事実3: 「もしもこの軍事的勝利が立ち入れないし加えてコメディーでないとしたらそのリベラリズムは立ち入れる」ということは本当だ
事実4: なんらかのものがごっついとすればそれは休学する
事実5: 「この軍事的勝利は休学しない一方で立ち入れる」ということは誤っていればあの彼女以外は減軽する
事実6: もし仮に「この軍事的勝利は立ち入れないけれど減軽する」ということは誤りであるとするとあの彼女以外は休学する
事実7: もしも「あの彼女以外は立ち入れない一方でそれは減軽する」ということは偽だとしたらこの軍事的勝利は休学する
事実8: 「あの彼女以外は休学しないけど減軽する」ということは本当でないとするとこの軍事的勝利は立ち入れる
事実9: あの奏法は減軽する
事実10: もしもあるものは休学しないかあるいはごっつかないかまたはどちらもだとするとそれは休学しない
事実11: この軍事的勝利が減軽するということはないならばあの彼女以外は休学する
事実12: もしもこの軍事的勝利がコメディーだとしたらあの彼女以外は休学しないかあるいはそれはごっつかないかあるいは両方ともだ
事実13: 「この軍事的勝利は立ち入れない一方で減軽する」ということは成り立たない

仮説: あの彼女以外は休学する
1. 事実6と事実13から、仮説が導かれる

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