「御分かれするとしたら「至徳でないかまたは発疹でないかもしくは両方である」ということは間違いである」ものはある
fact1: 「御分かれするとすると「至徳でないか発疹であるか両方だ」ということは偽な」物はある fact2: もしもこの党首は御分かれするとしたら「至徳でないかそれは発疹でないか両方である」ということは偽である fact3: 「仮に答辞だとしたら「監督・管理しないかあるいはアタッカーである」ということは成り立たない」物はある fact4: もしこの党首が御分かれするとしたらそれは発疹である fact5: 「もし御分かれするとすると発疹である」ものはある fact6: もしなんらかの物は体循環であるならば「それは野郎共でないかまたは納得し難いということはないかどちらもである」ということは間違いだ fact7: 「黒っぽいなら「下垂しないかあるいは日報作成でないかあるいは両方ともである」ということは成り立つということはない」ものはある fact8: 「もしも誇らしいならば「与え易くないかあるいは辛気臭くないかあるいはどちらもである」ということは成り立たない」ものはある fact9: 「仮に御分かれするとすれば至徳な」ものはある fact10: 「もし御分かれするとしたら「至徳であるかあるいは発疹でないかまたはどちらもだ」ということは間違っている」ものはある fact11: もしもなにがしかの物はピーククリッパなら「それは名状し難いということはないかもしくは御分かれしないか両方だ」ということは誤りだ fact12: 「債務不履行責任だとしたら遠い」物はある fact13: この党首が御分かれするならそれは至徳でないか発疹でない fact14: もしもこの党首は御分かれするとすると「至徳であるかあるいはそれは発疹だということはないか両方だ」ということは成り立たない fact15: 「「仮に回覧するなら「酷くないかあるいは落ち難い」ということは成り立つということはない」物はある」ということは真実である fact16: 「もし仮に御分かれするとすると至徳でないか発疹でない」物はある fact17: もしあの受容体が満たし得るとすると取り組み易くないか発疹でないかまたは両方ともである
fact2 -> hypothesis;
この党首はピーククリッパであるとすると「名状し難くないか御分かれしないかどちらもである」ということは嘘である
fact18 -> hypothesis;
$facts$ = fact1: 「御分かれするとすると「至徳でないか発疹であるか両方だ」ということは偽な」物はある fact2: もしもこの党首は御分かれするとしたら「至徳でないかそれは発疹でないか両方である」ということは偽である fact3: 「仮に答辞だとしたら「監督・管理しないかあるいはアタッカーである」ということは成り立たない」物はある fact4: もしこの党首が御分かれするとしたらそれは発疹である fact5: 「もし御分かれするとすると発疹である」ものはある fact6: もしなんらかの物は体循環であるならば「それは野郎共でないかまたは納得し難いということはないかどちらもである」ということは間違いだ fact7: 「黒っぽいなら「下垂しないかあるいは日報作成でないかあるいは両方ともである」ということは成り立つということはない」ものはある fact8: 「もしも誇らしいならば「与え易くないかあるいは辛気臭くないかあるいはどちらもである」ということは成り立たない」ものはある fact9: 「仮に御分かれするとすれば至徳な」ものはある fact10: 「もし御分かれするとしたら「至徳であるかあるいは発疹でないかまたはどちらもだ」ということは間違っている」ものはある fact11: もしもなにがしかの物はピーククリッパなら「それは名状し難いということはないかもしくは御分かれしないか両方だ」ということは誤りだ fact12: 「債務不履行責任だとしたら遠い」物はある fact13: この党首が御分かれするならそれは至徳でないか発疹でない fact14: もしもこの党首は御分かれするとすると「至徳であるかあるいはそれは発疹だということはないか両方だ」ということは成り立たない fact15: 「「仮に回覧するなら「酷くないかあるいは落ち難い」ということは成り立つということはない」物はある」ということは真実である fact16: 「もし仮に御分かれするとすると至徳でないか発疹でない」物はある fact17: もしあの受容体が満たし得るとすると取り組み易くないか発疹でないかまたは両方ともである ; $hypothesis$ = 「御分かれするとしたら「至徳でないかまたは発疹でないかもしくは両方である」ということは間違いである」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「御分かれするとすると「至徳でないか発疹であるか両方だ」ということは偽な」物はある
事実2: もしもこの党首は御分かれするとしたら「至徳でないかそれは発疹でないか両方である」ということは偽である
事実3: 「仮に答辞だとしたら「監督・管理しないかあるいはアタッカーである」ということは成り立たない」物はある
事実4: もしこの党首が御分かれするとしたらそれは発疹である
事実5: 「もし御分かれするとすると発疹である」ものはある
事実6: もしなんらかの物は体循環であるならば「それは野郎共でないかまたは納得し難いということはないかどちらもである」ということは間違いだ
事実7: 「黒っぽいなら「下垂しないかあるいは日報作成でないかあるいは両方ともである」ということは成り立つということはない」ものはある
事実8: 「もしも誇らしいならば「与え易くないかあるいは辛気臭くないかあるいはどちらもである」ということは成り立たない」ものはある
事実9: 「仮に御分かれするとすれば至徳な」ものはある
事実10: 「もし御分かれするとしたら「至徳であるかあるいは発疹でないかまたはどちらもだ」ということは間違っている」ものはある
事実11: もしもなにがしかの物はピーククリッパなら「それは名状し難いということはないかもしくは御分かれしないか両方だ」ということは誤りだ
事実12: 「債務不履行責任だとしたら遠い」物はある
事実13: この党首が御分かれするならそれは至徳でないか発疹でない
事実14: もしもこの党首は御分かれするとすると「至徳であるかあるいはそれは発疹だということはないか両方だ」ということは成り立たない
事実15: 「「仮に回覧するなら「酷くないかあるいは落ち難い」ということは成り立つということはない」物はある」ということは真実である
事実16: 「もし仮に御分かれするとすると至徳でないか発疹でない」物はある
事実17: もしあの受容体が満たし得るとすると取り組み易くないか発疹でないかまたは両方ともである

仮説: 「御分かれするとしたら「至徳でないかまたは発疹でないかもしくは両方である」ということは間違いである」ものはある
1. 事実2から、仮説が導かれる

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