「このトーヌスは対比するかまたは形式化するかまたは両方である」ということは成り立つ
fact1: もしもその母乳中が引き落とすならばあのオールラウンドは汚らわしくないけれど一般化出来る fact2: もし仮に「その十二棘突起は掘り出すし加えてそれは分かち難い」ということは成り立たないとしたら掘り出さない fact3: このトーヌスが形式化するし掘り出せばその十二棘突起は形式化しない fact4: 仮になにがしかのものはＭＶＣでないならば「分かち難くない」ということは正しい fact5: その十二棘突起はチャレンジ出来る fact6: もしもその母乳中は関わりであるならそれは点灸しないかもしくは文化活動でないかあるいはどちらもである fact7: 「もし「なんらかのものはチャレンジ出来るし保税地域である」ということは嘘ならチャレンジ出来ない」ということは本当だ fact8: もし仮にその十二棘突起はチャレンジ出来るとすると「このトーヌスは対比する」ということは確かだ fact9: もしこのトーヌスが分かち難いならそれは掘り出す fact10: もし仮にその十二棘突起が形式化するとしたらこのトーヌスはチャレンジ出来る fact11: このトーヌスは対比するかあるいはそれはチャレンジ出来るかまたはどちらもである fact12: もしもその十二棘突起が掘り出すということはないか保税地域でないか両方ともだとすればあのトーヌスはチャレンジ出来ない fact13: 仮にその十二棘突起はＭＶＣでないなら「掘り出すしそれに分かち難い」ということは間違いだ fact14: もし何らかのものはチャレンジ出来るということはないとすれば「それは対比するかもしくは形式化するかまたはどちらもだ」ということは成り立たない fact15: もし仮にこのオールラウンドが汚らわしいということはないけれど一般化出来るとすればその十二棘突起はＭＶＣでない fact16: 分かち難いということはない物は掘り出さないかあるいは保税地域でないかもしくはどちらもである
fact8 & fact5 -> int1: 「このトーヌスは対比する」ということは正しい; int1 -> hypothesis;
fact8 & fact5 -> int1: {B}{b}; int1 -> hypothesis;
「このトーヌスは対比するかもしくはそれは形式化するかどちらもである」ということは誤りである
fact21 -> int2: もしもこのトーヌスはチャレンジ出来ないならば「対比するかもしくは形式化するかまたはどちらもである」ということは間違いである; fact23 -> int3: その十二棘突起が分かち難くないなら掘り出すということはないかあるいはそれは保税地域だということはない; fact19 -> int4: 仮にその十二棘突起はＭＶＣでないならば分かち難くない;
$facts$ = fact1: もしもその母乳中が引き落とすならばあのオールラウンドは汚らわしくないけれど一般化出来る fact2: もし仮に「その十二棘突起は掘り出すし加えてそれは分かち難い」ということは成り立たないとしたら掘り出さない fact3: このトーヌスが形式化するし掘り出せばその十二棘突起は形式化しない fact4: 仮になにがしかのものはＭＶＣでないならば「分かち難くない」ということは正しい fact5: その十二棘突起はチャレンジ出来る fact6: もしもその母乳中は関わりであるならそれは点灸しないかもしくは文化活動でないかあるいはどちらもである fact7: 「もし「なんらかのものはチャレンジ出来るし保税地域である」ということは嘘ならチャレンジ出来ない」ということは本当だ fact8: もし仮にその十二棘突起はチャレンジ出来るとすると「このトーヌスは対比する」ということは確かだ fact9: もしこのトーヌスが分かち難いならそれは掘り出す fact10: もし仮にその十二棘突起が形式化するとしたらこのトーヌスはチャレンジ出来る fact11: このトーヌスは対比するかあるいはそれはチャレンジ出来るかまたはどちらもである fact12: もしもその十二棘突起が掘り出すということはないか保税地域でないか両方ともだとすればあのトーヌスはチャレンジ出来ない fact13: 仮にその十二棘突起はＭＶＣでないなら「掘り出すしそれに分かち難い」ということは間違いだ fact14: もし何らかのものはチャレンジ出来るということはないとすれば「それは対比するかもしくは形式化するかまたはどちらもだ」ということは成り立たない fact15: もし仮にこのオールラウンドが汚らわしいということはないけれど一般化出来るとすればその十二棘突起はＭＶＣでない fact16: 分かち難いということはない物は掘り出さないかあるいは保税地域でないかもしくはどちらもである ; $hypothesis$ = 「このトーヌスは対比するかまたは形式化するかまたは両方である」ということは成り立つ ; $proof$ = 
fact8 & fact5 -> int1: 「このトーヌスは対比する」ということは正しい; int1 -> hypothesis; __PROVED__
事実1: もしもその母乳中が引き落とすならばあのオールラウンドは汚らわしくないけれど一般化出来る
事実2: もし仮に「その十二棘突起は掘り出すし加えてそれは分かち難い」ということは成り立たないとしたら掘り出さない
事実3: このトーヌスが形式化するし掘り出せばその十二棘突起は形式化しない
事実4: 仮になにがしかのものはＭＶＣでないならば「分かち難くない」ということは正しい
事実5: その十二棘突起はチャレンジ出来る
事実6: もしもその母乳中は関わりであるならそれは点灸しないかもしくは文化活動でないかあるいはどちらもである
事実7: 「もし「なんらかのものはチャレンジ出来るし保税地域である」ということは嘘ならチャレンジ出来ない」ということは本当だ
事実8: もし仮にその十二棘突起はチャレンジ出来るとすると「このトーヌスは対比する」ということは確かだ
事実9: もしこのトーヌスが分かち難いならそれは掘り出す
事実10: もし仮にその十二棘突起が形式化するとしたらこのトーヌスはチャレンジ出来る
事実11: このトーヌスは対比するかあるいはそれはチャレンジ出来るかまたはどちらもである
事実12: もしもその十二棘突起が掘り出すということはないか保税地域でないか両方ともだとすればあのトーヌスはチャレンジ出来ない
事実13: 仮にその十二棘突起はＭＶＣでないなら「掘り出すしそれに分かち難い」ということは間違いだ
事実14: もし何らかのものはチャレンジ出来るということはないとすれば「それは対比するかもしくは形式化するかまたはどちらもだ」ということは成り立たない
事実15: もし仮にこのオールラウンドが汚らわしいということはないけれど一般化出来るとすればその十二棘突起はＭＶＣでない
事実16: 分かち難いということはない物は掘り出さないかあるいは保税地域でないかもしくはどちらもである

仮説: 「このトーヌスは対比するかまたは形式化するかまたは両方である」ということは成り立つ
1. 事実8と事実5から、推論1: "「このトーヌスは対比する」ということは正しい"が導かれる
2. 推論1から、仮説が導かれる

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