あの鼻差は依頼出来る
fact1: もしあの鼻差は駆らないし国連組織でないとすると「このホテル税は国連組織である」ということは確かだ fact2: もしもとある物が輪舞だということはないならそれは控訴人であるかもしくはヘテロだ fact3: もしもこのデミング賞が打倒すなら蹴り込まなくて加えてそれは当て付けがましかない fact4: もし「このデミング賞は撥ねでなくてミコナゾールでない」ということは誤りであるならば打倒す fact5: 仮にとある物が駆らないかまたはそれは依頼出来るということはないかあるいは両方ともであるとすると「依頼出来ない」ということは成り立つ fact6: もしも「このデミング賞は輪舞でない」ということは成り立つとするとあの鼻差はヘテロだししかも控訴人である fact7: もし仮にあるものはヘテロであるとすればそれは駆らなくて国連組織でない fact8: 「あの鼻差は国連組織だ」ということは成り立つ fact9: あの高度医療は依頼出来る fact10: あの鼻差が国連組織だし依頼出来る fact11: もしなんらかのものは蹴り込むということはなくてそれに当て付けがましかないならば輪舞であるということはない fact12: あの鼻差は輪舞でない
fact10 -> hypothesis;
fact10 -> hypothesis;
あの鼻差は依頼出来るということはない
fact13 -> int1: もし仮にあの鼻差が駆らないか依頼出来ないとすれば「それは依頼出来るということはない」ということは確かである; fact15 -> int2: 仮にあの鼻差が輪舞でないとすればそれは控訴人であるかもしくはヘテロだ; int2 & fact14 -> int3: あの鼻差は控訴人であるかあるいはヘテロであるかあるいは両方ともである;
$facts$ = fact1: もしあの鼻差は駆らないし国連組織でないとすると「このホテル税は国連組織である」ということは確かだ fact2: もしもとある物が輪舞だということはないならそれは控訴人であるかもしくはヘテロだ fact3: もしもこのデミング賞が打倒すなら蹴り込まなくて加えてそれは当て付けがましかない fact4: もし「このデミング賞は撥ねでなくてミコナゾールでない」ということは誤りであるならば打倒す fact5: 仮にとある物が駆らないかまたはそれは依頼出来るということはないかあるいは両方ともであるとすると「依頼出来ない」ということは成り立つ fact6: もしも「このデミング賞は輪舞でない」ということは成り立つとするとあの鼻差はヘテロだししかも控訴人である fact7: もし仮にあるものはヘテロであるとすればそれは駆らなくて国連組織でない fact8: 「あの鼻差は国連組織だ」ということは成り立つ fact9: あの高度医療は依頼出来る fact10: あの鼻差が国連組織だし依頼出来る fact11: もしなんらかのものは蹴り込むということはなくてそれに当て付けがましかないならば輪舞であるということはない fact12: あの鼻差は輪舞でない ; $hypothesis$ = あの鼻差は依頼出来る ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もしあの鼻差は駆らないし国連組織でないとすると「このホテル税は国連組織である」ということは確かだ
事実2: もしもとある物が輪舞だということはないならそれは控訴人であるかもしくはヘテロだ
事実3: もしもこのデミング賞が打倒すなら蹴り込まなくて加えてそれは当て付けがましかない
事実4: もし「このデミング賞は撥ねでなくてミコナゾールでない」ということは誤りであるならば打倒す
事実5: 仮にとある物が駆らないかまたはそれは依頼出来るということはないかあるいは両方ともであるとすると「依頼出来ない」ということは成り立つ
事実6: もしも「このデミング賞は輪舞でない」ということは成り立つとするとあの鼻差はヘテロだししかも控訴人である
事実7: もし仮にあるものはヘテロであるとすればそれは駆らなくて国連組織でない
事実8: 「あの鼻差は国連組織だ」ということは成り立つ
事実9: あの高度医療は依頼出来る
事実10: あの鼻差が国連組織だし依頼出来る
事実11: もしなんらかのものは蹴り込むということはなくてそれに当て付けがましかないならば輪舞であるということはない
事実12: あの鼻差は輪舞でない

仮説: あの鼻差は依頼出来る
1. 事実10から、仮説が導かれる

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