「もし仮に「繋ぎ直さないが曲折する」ということは成り立つということはないとすれば「歩き掛ける」ということは本当である」物はある
fact1: もし仮に「なにがしかの物は請求しないがしかし共鳴し易い」ということは偽であるとするとけたたましい fact2: 「この馬上人物は繋ぎ直すということはないけれどそれは曲折する」ということは成り立たないならそれは歩き掛ける fact3: この馬上人物は神経性食欲不振症でないとしたら突き落とす
fact2 -> hypothesis;
「もし仮に「請求しなくてまた共鳴し易い」ということは成り立たないとするとけたたましい」ものはある
fact4 -> int1: 仮に「あの胡瓜は請求するということはないが共鳴し易い」ということは嘘であるとするとそれはけたたましい; int1 -> hypothesis;
$facts$ = fact1: もし仮に「なにがしかの物は請求しないがしかし共鳴し易い」ということは偽であるとするとけたたましい fact2: 「この馬上人物は繋ぎ直すということはないけれどそれは曲折する」ということは成り立たないならそれは歩き掛ける fact3: この馬上人物は神経性食欲不振症でないとしたら突き落とす ; $hypothesis$ = 「もし仮に「繋ぎ直さないが曲折する」ということは成り立つということはないとすれば「歩き掛ける」ということは本当である」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかの物は請求しないがしかし共鳴し易い」ということは偽であるとするとけたたましい
事実2: 「この馬上人物は繋ぎ直すということはないけれどそれは曲折する」ということは成り立たないならそれは歩き掛ける
事実3: この馬上人物は神経性食欲不振症でないとしたら突き落とす

仮説: 「もし仮に「繋ぎ直さないが曲折する」ということは成り立つということはないとすれば「歩き掛ける」ということは本当である」物はある
1. 事実2から、仮説が導かれる

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