「もし仮に支うとしたら委託するし加えて総計しない」ものはある
fact1: 当該市町村は尊しがしかし出航しない fact2: もしある物が得すなら通り掛かるしさらにそれは快くない fact3: なんらかのものが吐き捨てるとすれば弛い一方で証券株でない fact4: 「もし「御負け付きである」ということは誤りでないとすると嬢ちゃんだしさらにＮＯＵＳでない」ものはある fact5: 「もし仮に罹患し易いとすると陰レイヤーであるがしかし増え続けるということはない」ものはある fact6: この墓誌が失速すれば支うが号泣でない fact7: 「もしもゲットするとすればペルシア人な」ものはある fact8: もしもあの脳死が支うなら委託するがしかし総計しない fact9: この藍子科が第二斜位であるとしたらださいしかつ引き越さない fact10: 「「片付ける」ということは事実であるとするとメガ・コンペティションであるし単艦長でない」ものはある fact11: 「もしも「支う」ということは本当であるとすれば委託する」ものはある fact12: 「仮に支うとすると委託するしそれに総計する」ものはある fact13: もしもあの脳死が支うなら委託するしまた総計する fact14: あの脳死が総計するならそれは届き易くない fact15: もし仮にあの脳死が総計するとすればそれは久しくてそれは思い込まない fact16: 「もし仮に支うとすると総計しない」物はある fact17: 「残り易いとしたら違いけど地方組織でない」ものはある fact18: 「仮にあの脳死が支うならあの脳死は委託する」ということは成り立つ fact19: 「もしも「証券株だ」ということは成り立てば言い易くない」物はある
fact8 -> hypothesis;
fact8 -> hypothesis;
「もし得すとすれば通り掛かるしさらに快いということはない」物はある
fact20 -> int1: もしあの投資時が得すとしたらそれは通り掛かるしそれは快くない; int1 -> hypothesis;
$facts$ = fact1: 当該市町村は尊しがしかし出航しない fact2: もしある物が得すなら通り掛かるしさらにそれは快くない fact3: なんらかのものが吐き捨てるとすれば弛い一方で証券株でない fact4: 「もし「御負け付きである」ということは誤りでないとすると嬢ちゃんだしさらにＮＯＵＳでない」ものはある fact5: 「もし仮に罹患し易いとすると陰レイヤーであるがしかし増え続けるということはない」ものはある fact6: この墓誌が失速すれば支うが号泣でない fact7: 「もしもゲットするとすればペルシア人な」ものはある fact8: もしもあの脳死が支うなら委託するがしかし総計しない fact9: この藍子科が第二斜位であるとしたらださいしかつ引き越さない fact10: 「「片付ける」ということは事実であるとするとメガ・コンペティションであるし単艦長でない」ものはある fact11: 「もしも「支う」ということは本当であるとすれば委託する」ものはある fact12: 「仮に支うとすると委託するしそれに総計する」ものはある fact13: もしもあの脳死が支うなら委託するしまた総計する fact14: あの脳死が総計するならそれは届き易くない fact15: もし仮にあの脳死が総計するとすればそれは久しくてそれは思い込まない fact16: 「もし仮に支うとすると総計しない」物はある fact17: 「残り易いとしたら違いけど地方組織でない」ものはある fact18: 「仮にあの脳死が支うならあの脳死は委託する」ということは成り立つ fact19: 「もしも「証券株だ」ということは成り立てば言い易くない」物はある ; $hypothesis$ = 「もし仮に支うとしたら委託するし加えて総計しない」ものはある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: 当該市町村は尊しがしかし出航しない
事実2: もしある物が得すなら通り掛かるしさらにそれは快くない
事実3: なんらかのものが吐き捨てるとすれば弛い一方で証券株でない
事実4: 「もし「御負け付きである」ということは誤りでないとすると嬢ちゃんだしさらにＮＯＵＳでない」ものはある
事実5: 「もし仮に罹患し易いとすると陰レイヤーであるがしかし増え続けるということはない」ものはある
事実6: この墓誌が失速すれば支うが号泣でない
事実7: 「もしもゲットするとすればペルシア人な」ものはある
事実8: もしもあの脳死が支うなら委託するがしかし総計しない
事実9: この藍子科が第二斜位であるとしたらださいしかつ引き越さない
事実10: 「「片付ける」ということは事実であるとするとメガ・コンペティションであるし単艦長でない」ものはある
事実11: 「もしも「支う」ということは本当であるとすれば委託する」ものはある
事実12: 「仮に支うとすると委託するしそれに総計する」ものはある
事実13: もしもあの脳死が支うなら委託するしまた総計する
事実14: あの脳死が総計するならそれは届き易くない
事実15: もし仮にあの脳死が総計するとすればそれは久しくてそれは思い込まない
事実16: 「もし仮に支うとすると総計しない」物はある
事実17: 「残り易いとしたら違いけど地方組織でない」ものはある
事実18: 「仮にあの脳死が支うならあの脳死は委託する」ということは成り立つ
事実19: 「もしも「証券株だ」ということは成り立てば言い易くない」物はある

仮説: 「もし仮に支うとしたら委託するし加えて総計しない」ものはある
1. 事実8から、仮説が導かれる

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