この生涯学習は御考え頂く
fact1: この長年月は騙され易い fact2: この長年月は床しい fact3: もしも何かは辿り着けるならこの感染部位は騙され易くない fact4: このエクセントリシティは語り出すしさらにそれは張り札である fact5: その侍所は騙され易くないかあるいは御考え頂くかまたは両方である fact6: その侍所はブラバスらしい fact7: 仮にその異常所見がブラバスらしいとすればこの生涯学習は御考え頂く fact8: しんどいものは二次評価であるということはない fact9: 仮にこの長年月が振るい続けるならばあの侍所は張り札だ fact10: その侍所は騙され易くて振るい続ける fact11: もしこの長年月はしんどいとしたら「それは二次評価だということはない」ということは成り立つ fact12: もしもこの長年月が二次評価でないかもしくは張り札であるかもしくは両方だとすればその異常所見はブラバスらしい fact13: 面白おかしい物はある fact14: もし「その侍所は振るい続ける一方で二次評価でない」ということは偽だとするとそれは振るい続けない fact15: 「「この付和随行者は張り札でないがしんどい」ということは成り立たない」ということは事実だ fact16: もしもあるものは張り札でないとすれば「それは振るい続けるしそれにそれは二次評価でない」ということは成り立たない fact17: もし仮に「その侍所は喋り掛ける」ということは真実であるとすれば「この感染部位は辿り着けない」ということは嘘だ fact18: もしもこの感染部位が辿り着けるとするとこの付和随行者はしんどい fact19: もし仮にこの感染部位がブラバスらしくないしかつ語り出さないとするとその侍所は張り札でない fact20: もしこの付和随行者はしんどいとしたら「この長年月は振るい続けなくてそれはしんどかない」ということは事実と異なる fact21: 「この長年月は二次評価でなくて騙され易くない」ということは成り立たない fact22: 「何らかのものは振るい続けなくてしんどかない」ということは嘘ならば「それは二次評価でない」ということは成り立つ fact23: 「なんらかの物は御考え頂かなくてその上振るい続けるということはない」ということは間違いだとするとそれはしんどかない fact24: もし仮になにがしかの物は振るい続けないとすれば「それは辿り着けないししんどかない」ということは間違っている fact25: その侍所は喋り掛けるしそれに騙され易い fact26: もしこの長年月はブラバスらしくないかもしくは二次評価であるかあるいはどちらもであるならば「その異常所見は振るい続ける」ということは成り立つ fact27: もしもなにがしかのものが騙され易くないとしたら御考え頂くしそれにそれは喋り掛ける
fact25 -> int1: その侍所は喋り掛ける; int1 & fact17 -> int2: この感染部位は辿り着ける; int2 & fact18 -> int3: この付和随行者はしんどい; int3 & fact20 -> int4: 「この長年月は振るい続けなくてしかもしんどかない」ということは成り立たない; fact22 -> int5: もし仮に「この長年月は振るい続けるということはなくてそれはしんどかない」ということは成り立たないとすれば二次評価でない; int4 & int5 -> int6: この長年月は二次評価だということはない; int6 -> int7: この長年月は二次評価でないかまたはそれは張り札だ; int7 & fact12 -> int8: その異常所見はブラバスらしい; int8 & fact7 -> hypothesis;
「この生涯学習は御考え頂かない」ということは成り立つ
fact28 -> int9: もしもその侍所が騙され易くないならばそれは御考え頂くしさらにそれは喋り掛ける; fact31 -> int10: その侍所は振るい続けないとすると「辿り着けるということはないししかもしんどかない」ということは事実でない; fact30 -> int11: もしもその侍所は張り札でないとすれば「振るい続ける一方で二次評価だということはない」ということは成り立たない;
$facts$ = fact1: この長年月は騙され易い fact2: この長年月は床しい fact3: もしも何かは辿り着けるならこの感染部位は騙され易くない fact4: このエクセントリシティは語り出すしさらにそれは張り札である fact5: その侍所は騙され易くないかあるいは御考え頂くかまたは両方である fact6: その侍所はブラバスらしい fact7: 仮にその異常所見がブラバスらしいとすればこの生涯学習は御考え頂く fact8: しんどいものは二次評価であるということはない fact9: 仮にこの長年月が振るい続けるならばあの侍所は張り札だ fact10: その侍所は騙され易くて振るい続ける fact11: もしこの長年月はしんどいとしたら「それは二次評価だということはない」ということは成り立つ fact12: もしもこの長年月が二次評価でないかもしくは張り札であるかもしくは両方だとすればその異常所見はブラバスらしい fact13: 面白おかしい物はある fact14: もし「その侍所は振るい続ける一方で二次評価でない」ということは偽だとするとそれは振るい続けない fact15: 「「この付和随行者は張り札でないがしんどい」ということは成り立たない」ということは事実だ fact16: もしもあるものは張り札でないとすれば「それは振るい続けるしそれにそれは二次評価でない」ということは成り立たない fact17: もし仮に「その侍所は喋り掛ける」ということは真実であるとすれば「この感染部位は辿り着けない」ということは嘘だ fact18: もしもこの感染部位が辿り着けるとするとこの付和随行者はしんどい fact19: もし仮にこの感染部位がブラバスらしくないしかつ語り出さないとするとその侍所は張り札でない fact20: もしこの付和随行者はしんどいとしたら「この長年月は振るい続けなくてそれはしんどかない」ということは事実と異なる fact21: 「この長年月は二次評価でなくて騙され易くない」ということは成り立たない fact22: 「何らかのものは振るい続けなくてしんどかない」ということは嘘ならば「それは二次評価でない」ということは成り立つ fact23: 「なんらかの物は御考え頂かなくてその上振るい続けるということはない」ということは間違いだとするとそれはしんどかない fact24: もし仮になにがしかの物は振るい続けないとすれば「それは辿り着けないししんどかない」ということは間違っている fact25: その侍所は喋り掛けるしそれに騙され易い fact26: もしこの長年月はブラバスらしくないかもしくは二次評価であるかあるいはどちらもであるならば「その異常所見は振るい続ける」ということは成り立つ fact27: もしもなにがしかのものが騙され易くないとしたら御考え頂くしそれにそれは喋り掛ける ; $hypothesis$ = この生涯学習は御考え頂く ; $proof$ = 
fact25 -> int1: その侍所は喋り掛ける; int1 & fact17 -> int2: この感染部位は辿り着ける; int2 & fact18 -> int3: この付和随行者はしんどい; int3 & fact20 -> int4: 「この長年月は振るい続けなくてしかもしんどかない」ということは成り立たない; fact22 -> int5: もし仮に「この長年月は振るい続けるということはなくてそれはしんどかない」ということは成り立たないとすれば二次評価でない; int4 & int5 -> int6: この長年月は二次評価だということはない; int6 -> int7: この長年月は二次評価でないかまたはそれは張り札だ; int7 & fact12 -> int8: その異常所見はブラバスらしい; int8 & fact7 -> hypothesis; __PROVED__
事実1: この長年月は騙され易い
事実2: この長年月は床しい
事実3: もしも何かは辿り着けるならこの感染部位は騙され易くない
事実4: このエクセントリシティは語り出すしさらにそれは張り札である
事実5: その侍所は騙され易くないかあるいは御考え頂くかまたは両方である
事実6: その侍所はブラバスらしい
事実7: 仮にその異常所見がブラバスらしいとすればこの生涯学習は御考え頂く
事実8: しんどいものは二次評価であるということはない
事実9: 仮にこの長年月が振るい続けるならばあの侍所は張り札だ
事実10: その侍所は騙され易くて振るい続ける
事実11: もしこの長年月はしんどいとしたら「それは二次評価だということはない」ということは成り立つ
事実12: もしもこの長年月が二次評価でないかもしくは張り札であるかもしくは両方だとすればその異常所見はブラバスらしい
事実13: 面白おかしい物はある
事実14: もし「その侍所は振るい続ける一方で二次評価でない」ということは偽だとするとそれは振るい続けない
事実15: 「「この付和随行者は張り札でないがしんどい」ということは成り立たない」ということは事実だ
事実16: もしもあるものは張り札でないとすれば「それは振るい続けるしそれにそれは二次評価でない」ということは成り立たない
事実17: もし仮に「その侍所は喋り掛ける」ということは真実であるとすれば「この感染部位は辿り着けない」ということは嘘だ
事実18: もしもこの感染部位が辿り着けるとするとこの付和随行者はしんどい
事実19: もし仮にこの感染部位がブラバスらしくないしかつ語り出さないとするとその侍所は張り札でない
事実20: もしこの付和随行者はしんどいとしたら「この長年月は振るい続けなくてそれはしんどかない」ということは事実と異なる
事実21: 「この長年月は二次評価でなくて騙され易くない」ということは成り立たない
事実22: 「何らかのものは振るい続けなくてしんどかない」ということは嘘ならば「それは二次評価でない」ということは成り立つ
事実23: 「なんらかの物は御考え頂かなくてその上振るい続けるということはない」ということは間違いだとするとそれはしんどかない
事実24: もし仮になにがしかの物は振るい続けないとすれば「それは辿り着けないししんどかない」ということは間違っている
事実25: その侍所は喋り掛けるしそれに騙され易い
事実26: もしこの長年月はブラバスらしくないかもしくは二次評価であるかあるいはどちらもであるならば「その異常所見は振るい続ける」ということは成り立つ
事実27: もしもなにがしかのものが騙され易くないとしたら御考え頂くしそれにそれは喋り掛ける

仮説: この生涯学習は御考え頂く
1. 事実25から、推論1: "その侍所は喋り掛ける"が導かれる
2. 推論1と事実17から、推論2: "この感染部位は辿り着ける"が導かれる
3. 推論2と事実18から、推論3: "この付和随行者はしんどい"が導かれる
4. 推論3と事実20から、推論4: "「この長年月は振るい続けなくてしかもしんどかない」ということは成り立たない"が導かれる
5. 事実22から、推論5: "もし仮に「この長年月は振るい続けるということはなくてそれはしんどかない」ということは成り立たないとすれば二次評価でない"が導かれる
6. 推論4と推論5から、推論6: "この長年月は二次評価だということはない"が導かれる
7. 推論6から、推論7: "この長年月は二次評価でないかまたはそれは張り札だ"が導かれる
8. 推論7と事実12から、推論8: "その異常所見はブラバスらしい"が導かれる
9. 推論8と事実7から、仮説が導かれる

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