この五年度は雨具だ
fact1: もし仮にその例示が動機付けないなら争奪であるしまた雨具だ fact2: この五年度は争奪でない fact3: もし仮になにかは雨具でないならそれは争奪でないしその上素っ気ない fact4: もし仮にその例示が雨具であるとしたらこの五年度は雨具であるということはない fact5: もしもその待ち合わせ場所が動機付けるけどそれは食い締めるということはないとすれば「その例示は動機付けない」ということは成り立つ fact6: もしあの国際機構が幅広いなら殴るけど撫ででない fact7: その悲愴感は雨具である fact8: もしも「なにがしかの物はすこくないかまたは隻腕であるかあるいは両方ともだ」ということは間違っていれば動機付ける fact9: もしも「御覧に成る」ものはあるとすると「その待ち合わせ場所はすこくないかもしくはそれは隻腕だ」ということは真実でない fact10: この五年度は争奪でない一方で雨具である fact11: その転移性脊椎腫瘍は御覧に成る
fact10 -> hypothesis;
fact10 -> hypothesis;
あのボナパルティズムは争奪でない一方で素っ気ない
fact12 -> int1: もし仮にあのボナパルティズムが雨具でないとすればそれは争奪でないが素っ気ない;
$facts$ = fact1: もし仮にその例示が動機付けないなら争奪であるしまた雨具だ fact2: この五年度は争奪でない fact3: もし仮になにかは雨具でないならそれは争奪でないしその上素っ気ない fact4: もし仮にその例示が雨具であるとしたらこの五年度は雨具であるということはない fact5: もしもその待ち合わせ場所が動機付けるけどそれは食い締めるということはないとすれば「その例示は動機付けない」ということは成り立つ fact6: もしあの国際機構が幅広いなら殴るけど撫ででない fact7: その悲愴感は雨具である fact8: もしも「なにがしかの物はすこくないかまたは隻腕であるかあるいは両方ともだ」ということは間違っていれば動機付ける fact9: もしも「御覧に成る」ものはあるとすると「その待ち合わせ場所はすこくないかもしくはそれは隻腕だ」ということは真実でない fact10: この五年度は争奪でない一方で雨具である fact11: その転移性脊椎腫瘍は御覧に成る ; $hypothesis$ = この五年度は雨具だ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もし仮にその例示が動機付けないなら争奪であるしまた雨具だ
事実2: この五年度は争奪でない
事実3: もし仮になにかは雨具でないならそれは争奪でないしその上素っ気ない
事実4: もし仮にその例示が雨具であるとしたらこの五年度は雨具であるということはない
事実5: もしもその待ち合わせ場所が動機付けるけどそれは食い締めるということはないとすれば「その例示は動機付けない」ということは成り立つ
事実6: もしあの国際機構が幅広いなら殴るけど撫ででない
事実7: その悲愴感は雨具である
事実8: もしも「なにがしかの物はすこくないかまたは隻腕であるかあるいは両方ともだ」ということは間違っていれば動機付ける
事実9: もしも「御覧に成る」ものはあるとすると「その待ち合わせ場所はすこくないかもしくはそれは隻腕だ」ということは真実でない
事実10: この五年度は争奪でない一方で雨具である
事実11: その転移性脊椎腫瘍は御覧に成る

仮説: この五年度は雨具だ
1. 事実10から、仮説が導かれる

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