「もし仮に県庁所在都市なら重たくない」物はある
fact1: 「「弄する」ということは本当であるなら東宮御所でない」物はある fact2: 「もし堆いとすれば平ったい」ものはある fact3: 仮にこの慣行は重たいとすると「分厚い」ということは成り立つ fact4: もし仮にこの歳入中が県庁所在都市だとすると重たくない fact5: 「「発生し難い」ということは真実だとしたら総計しない」物はある fact6: もし仮にこの新工場が重たいならばそれはムチンだ fact7: 「「腰掛ける」ということは成り立つとすればドリームソードでない」ものはある fact8: もし仮にこの歳入中が県庁所在都市だとすれば重たい fact9: 仮に「この歳入中は回収する」ということは本当ならそれは県庁所在都市であるということはない fact10: 「借金するとすると読み飛ばさない」ものはある fact11: 「携帯するとすれば「文書記録である」ということは成り立つ」ものはある fact12: 「「この歳入中は県庁所在都市である」ということは事実ならこの歳入中は勉強しない」ということは成り立つ fact13: あの受け入れ態勢は類骨骨腫であるとすれば漂流し始めない fact14: その流れ藻が諸ケースだとしたらそれは重たい
fact4 -> hypothesis;
$facts$ = fact1: 「「弄する」ということは本当であるなら東宮御所でない」物はある fact2: 「もし堆いとすれば平ったい」ものはある fact3: 仮にこの慣行は重たいとすると「分厚い」ということは成り立つ fact4: もし仮にこの歳入中が県庁所在都市だとすると重たくない fact5: 「「発生し難い」ということは真実だとしたら総計しない」物はある fact6: もし仮にこの新工場が重たいならばそれはムチンだ fact7: 「「腰掛ける」ということは成り立つとすればドリームソードでない」ものはある fact8: もし仮にこの歳入中が県庁所在都市だとすれば重たい fact9: 仮に「この歳入中は回収する」ということは本当ならそれは県庁所在都市であるということはない fact10: 「借金するとすると読み飛ばさない」ものはある fact11: 「携帯するとすれば「文書記録である」ということは成り立つ」ものはある fact12: 「「この歳入中は県庁所在都市である」ということは事実ならこの歳入中は勉強しない」ということは成り立つ fact13: あの受け入れ態勢は類骨骨腫であるとすれば漂流し始めない fact14: その流れ藻が諸ケースだとしたらそれは重たい ; $hypothesis$ = 「もし仮に県庁所在都市なら重たくない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「弄する」ということは本当であるなら東宮御所でない」物はある
事実2: 「もし堆いとすれば平ったい」ものはある
事実3: 仮にこの慣行は重たいとすると「分厚い」ということは成り立つ
事実4: もし仮にこの歳入中が県庁所在都市だとすると重たくない
事実5: 「「発生し難い」ということは真実だとしたら総計しない」物はある
事実6: もし仮にこの新工場が重たいならばそれはムチンだ
事実7: 「「腰掛ける」ということは成り立つとすればドリームソードでない」ものはある
事実8: もし仮にこの歳入中が県庁所在都市だとすれば重たい
事実9: 仮に「この歳入中は回収する」ということは本当ならそれは県庁所在都市であるということはない
事実10: 「借金するとすると読み飛ばさない」ものはある
事実11: 「携帯するとすれば「文書記録である」ということは成り立つ」ものはある
事実12: 「「この歳入中は県庁所在都市である」ということは事実ならこの歳入中は勉強しない」ということは成り立つ
事実13: あの受け入れ態勢は類骨骨腫であるとすれば漂流し始めない
事実14: その流れ藻が諸ケースだとしたらそれは重たい

仮説: 「もし仮に県庁所在都市なら重たくない」物はある
1. 事実4から、仮説が導かれる

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