このオフェンスフォーメーションは予測し易い
fact1: もし「その二学期制は浅くなくてまた御紹介致さない」ということは偽であるならこの掛け替えは浅い fact2: もし仮にその九月頃がダンスしないとすればメカニズム・デザインであるかもしくは交代出来る fact3: もし何らかの物は予測し易くないとすると「交代出来るということはないしさらにダンスする」ということは成り立たない fact4: もしもこの掛け替えは浅いとすれば「そのワッペン闘争は活動し易いがしかし全周囲モニターでない」ということは偽だ fact5: もし仮にそのコーヒー代は付き易いとしたら「その二学期制は浅くないし更に御紹介致すということはない」ということは成り立たない fact6: もしその九月頃が交代出来ればこのオフェンスフォーメーションは予測し易い fact7: もしもこのオフェンスフォーメーションは浅い一方で付き易くないとすれば全周囲モニターでない fact8: 仮にこのオフェンスフォーメーションが交代出来るとすればその九月頃は予測し易い fact9: このオフェンスフォーメーションはダンスする fact10: もしもなにかは活動し易いとしたら「それは苛立たしいかまたはそれはダンスするということはない」ということは事実と異なる fact11: もし仮に「その九月頃は苛立たしいかもしくはダンスしないかもしくはどちらもである」ということは間違っているとするとこのオフェンスフォーメーションは予測し易いということはない fact12: もしもその九月頃がメカニズム・デザインだとすればあのオフェンスフォーメーションは予測し易い fact13: もし仮に「「そのワッペン闘争は活動し易い一方で全周囲モニターでない」ということは偽だ」ということは正しいとするとその九月頃は活動し易い fact14: その九月頃はダンスしない fact15: このオフェンスフォーメーションは浅いけど付き易くない fact16: もし「その九月頃は交代出来ない一方でダンスする」ということは嘘なら「そのコーヒー代は交代出来ない」ということは本当だ fact17: 「その九月頃は予測し易い」ということは本当だとしたらこのオフェンスフォーメーションは交代出来る fact18: もしも「「そのＣＶＴは付き易くないけれど家出する」ということは真実だ」ということは成り立たないとすればあのコーヒー代は付き易い fact19: あの指数関数はダンスしない
fact2 & fact14 -> int1: 「その九月頃はメカニズム・デザインであるか交代出来るかどちらもである」ということは確かである; int1 & fact12 & fact6 -> hypothesis;
「そのコーヒー代は交代出来ない」ということは事実だ
fact20 -> int2: もし仮にその九月頃は予測し易くないとしたら「交代出来ない一方でダンスする」ということは成り立たない; fact23 & fact22 -> int3: このオフェンスフォーメーションは全周囲モニターでない; int3 -> int4: 「全周囲モニターでない」物はある;
$facts$ = fact1: もし「その二学期制は浅くなくてまた御紹介致さない」ということは偽であるならこの掛け替えは浅い fact2: もし仮にその九月頃がダンスしないとすればメカニズム・デザインであるかもしくは交代出来る fact3: もし何らかの物は予測し易くないとすると「交代出来るということはないしさらにダンスする」ということは成り立たない fact4: もしもこの掛け替えは浅いとすれば「そのワッペン闘争は活動し易いがしかし全周囲モニターでない」ということは偽だ fact5: もし仮にそのコーヒー代は付き易いとしたら「その二学期制は浅くないし更に御紹介致すということはない」ということは成り立たない fact6: もしその九月頃が交代出来ればこのオフェンスフォーメーションは予測し易い fact7: もしもこのオフェンスフォーメーションは浅い一方で付き易くないとすれば全周囲モニターでない fact8: 仮にこのオフェンスフォーメーションが交代出来るとすればその九月頃は予測し易い fact9: このオフェンスフォーメーションはダンスする fact10: もしもなにかは活動し易いとしたら「それは苛立たしいかまたはそれはダンスするということはない」ということは事実と異なる fact11: もし仮に「その九月頃は苛立たしいかもしくはダンスしないかもしくはどちらもである」ということは間違っているとするとこのオフェンスフォーメーションは予測し易いということはない fact12: もしもその九月頃がメカニズム・デザインだとすればあのオフェンスフォーメーションは予測し易い fact13: もし仮に「「そのワッペン闘争は活動し易い一方で全周囲モニターでない」ということは偽だ」ということは正しいとするとその九月頃は活動し易い fact14: その九月頃はダンスしない fact15: このオフェンスフォーメーションは浅いけど付き易くない fact16: もし「その九月頃は交代出来ない一方でダンスする」ということは嘘なら「そのコーヒー代は交代出来ない」ということは本当だ fact17: 「その九月頃は予測し易い」ということは本当だとしたらこのオフェンスフォーメーションは交代出来る fact18: もしも「「そのＣＶＴは付き易くないけれど家出する」ということは真実だ」ということは成り立たないとすればあのコーヒー代は付き易い fact19: あの指数関数はダンスしない ; $hypothesis$ = このオフェンスフォーメーションは予測し易い ; $proof$ = 
fact2 & fact14 -> int1: 「その九月頃はメカニズム・デザインであるか交代出来るかどちらもである」ということは確かである; int1 & fact12 & fact6 -> hypothesis; __PROVED__
事実1: もし「その二学期制は浅くなくてまた御紹介致さない」ということは偽であるならこの掛け替えは浅い
事実2: もし仮にその九月頃がダンスしないとすればメカニズム・デザインであるかもしくは交代出来る
事実3: もし何らかの物は予測し易くないとすると「交代出来るということはないしさらにダンスする」ということは成り立たない
事実4: もしもこの掛け替えは浅いとすれば「そのワッペン闘争は活動し易いがしかし全周囲モニターでない」ということは偽だ
事実5: もし仮にそのコーヒー代は付き易いとしたら「その二学期制は浅くないし更に御紹介致すということはない」ということは成り立たない
事実6: もしその九月頃が交代出来ればこのオフェンスフォーメーションは予測し易い
事実7: もしもこのオフェンスフォーメーションは浅い一方で付き易くないとすれば全周囲モニターでない
事実8: 仮にこのオフェンスフォーメーションが交代出来るとすればその九月頃は予測し易い
事実9: このオフェンスフォーメーションはダンスする
事実10: もしもなにかは活動し易いとしたら「それは苛立たしいかまたはそれはダンスするということはない」ということは事実と異なる
事実11: もし仮に「その九月頃は苛立たしいかもしくはダンスしないかもしくはどちらもである」ということは間違っているとするとこのオフェンスフォーメーションは予測し易いということはない
事実12: もしもその九月頃がメカニズム・デザインだとすればあのオフェンスフォーメーションは予測し易い
事実13: もし仮に「「そのワッペン闘争は活動し易い一方で全周囲モニターでない」ということは偽だ」ということは正しいとするとその九月頃は活動し易い
事実14: その九月頃はダンスしない
事実15: このオフェンスフォーメーションは浅いけど付き易くない
事実16: もし「その九月頃は交代出来ない一方でダンスする」ということは嘘なら「そのコーヒー代は交代出来ない」ということは本当だ
事実17: 「その九月頃は予測し易い」ということは本当だとしたらこのオフェンスフォーメーションは交代出来る
事実18: もしも「「そのＣＶＴは付き易くないけれど家出する」ということは真実だ」ということは成り立たないとすればあのコーヒー代は付き易い
事実19: あの指数関数はダンスしない

仮説: このオフェンスフォーメーションは予測し易い
1. 事実2と事実14から、推論1: "「その九月頃はメカニズム・デザインであるか交代出来るかどちらもである」ということは確かである"が導かれる
2. 推論1と事実12と事実6から、仮説が導かれる

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