「黒人なら「冗談ぽくないか表記だ」ということは間違いな」物はある
fact1: もし仮にこの省都は黒人であるとすれば「冗談ぽくないかもしくは表記であるかまたはどちらもである」ということは成り立たない fact2: 「観測出来るとすれば「全寮制だ」ということは確かな」物はある fact3: なにがしかの物は解散するなら「それは常連らしいということはないかあるいは黒人であるかもしくは両方である」ということは成り立たない fact4: この省都は黒人であるとすれば「冗談ぽいかあるいは表記である」ということは間違っている fact5: もしこの省都が身軽いとすると言い尽くしないかあるいはそれは交渉す fact6: 「「仮に幼児性なら飲食する」物はある」ということは正しい fact7: 「仮に黒人であるとしたら「表記でない」ということは確かである」物はある
fact1 -> hypothesis;
あの単位ベクトルは解散すれば「それは常連らしくないかもしくは黒人であるかどちらもである」ということは偽だ
fact8 -> hypothesis;
$facts$ = fact1: もし仮にこの省都は黒人であるとすれば「冗談ぽくないかもしくは表記であるかまたはどちらもである」ということは成り立たない fact2: 「観測出来るとすれば「全寮制だ」ということは確かな」物はある fact3: なにがしかの物は解散するなら「それは常連らしいということはないかあるいは黒人であるかもしくは両方である」ということは成り立たない fact4: この省都は黒人であるとすれば「冗談ぽいかあるいは表記である」ということは間違っている fact5: もしこの省都が身軽いとすると言い尽くしないかあるいはそれは交渉す fact6: 「「仮に幼児性なら飲食する」物はある」ということは正しい fact7: 「仮に黒人であるとしたら「表記でない」ということは確かである」物はある ; $hypothesis$ = 「黒人なら「冗談ぽくないか表記だ」ということは間違いな」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの省都は黒人であるとすれば「冗談ぽくないかもしくは表記であるかまたはどちらもである」ということは成り立たない
事実2: 「観測出来るとすれば「全寮制だ」ということは確かな」物はある
事実3: なにがしかの物は解散するなら「それは常連らしいということはないかあるいは黒人であるかもしくは両方である」ということは成り立たない
事実4: この省都は黒人であるとすれば「冗談ぽいかあるいは表記である」ということは間違っている
事実5: もしこの省都が身軽いとすると言い尽くしないかあるいはそれは交渉す
事実6: 「「仮に幼児性なら飲食する」物はある」ということは正しい
事実7: 「仮に黒人であるとしたら「表記でない」ということは確かである」物はある

仮説: 「黒人なら「冗談ぽくないか表記だ」ということは間違いな」物はある
1. 事実1から、仮説が導かれる

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