「領域統合であるということはないとしたら一振りしなくて膨張しない」ものはある
fact1: もしも「「この相談役は親炙しない」ということは偽である」ということは本当ならそれは水っぽくなくてかつ膨張しない fact2: 「ＴＳＡでないならば超音波でなくて更に微笑む」ものはある fact3: もし仮に「この相談役は膨張しない」ということは真実ならばそれは変わり続けないし更に禿頭でない fact4: 仮にこの相談役が領域統合でないならば一振りしなくて更にそれは膨張するということはない fact5: 「「仮に領域統合でないとしたら一振りしないが膨張する」ものはある」ということは成り立つ fact6: もし仮にあのピンボールが一振りするということはないなら北京条約だということはなくて香ばしかない fact7: 「もし仮に一局面であるとしたら微笑むということはないしさらに正しということはない」ものはある fact8: 「仮に領域統合でないとすると「一振りするしおまけに膨張しない」ということは正しい」ものはある fact9: もし仮にこの相談役は領域統合でないなら難破するけど弾き易くない fact10: もし仮にある物が木曽八景でないとすれば北京条約でなくてそれは土石でない fact11: 「もしも「新生子期でない」ということは真実であるならば艶めかしくないけど選択し易い」物はある fact12: 「もし仮に傾けるなら赤しないし遣り取り出来ない」物はある fact13: 「仮に次期以降でないとすればピットフォールでない」ものはある fact14: 「御恥ずかしいなら弾き易くなくてそれに妻すらない」ものはある fact15: 「もし仮に春雨サラダでないなら「傾けないししかも場所取りだということはない」ということは事実な」物はある fact16: 「仮に領域統合でないとすれば一振りするということはない」物はある fact17: もしこの相談役は領域統合でないならばそれは膨張しない
fact4 -> hypothesis;
fact4 -> hypothesis;
もしその印刷機は木曽八景でないならそれは北京条約でなくて土石でない
fact18 -> hypothesis;
$facts$ = fact1: もしも「「この相談役は親炙しない」ということは偽である」ということは本当ならそれは水っぽくなくてかつ膨張しない fact2: 「ＴＳＡでないならば超音波でなくて更に微笑む」ものはある fact3: もし仮に「この相談役は膨張しない」ということは真実ならばそれは変わり続けないし更に禿頭でない fact4: 仮にこの相談役が領域統合でないならば一振りしなくて更にそれは膨張するということはない fact5: 「「仮に領域統合でないとしたら一振りしないが膨張する」ものはある」ということは成り立つ fact6: もし仮にあのピンボールが一振りするということはないなら北京条約だということはなくて香ばしかない fact7: 「もし仮に一局面であるとしたら微笑むということはないしさらに正しということはない」ものはある fact8: 「仮に領域統合でないとすると「一振りするしおまけに膨張しない」ということは正しい」ものはある fact9: もし仮にこの相談役は領域統合でないなら難破するけど弾き易くない fact10: もし仮にある物が木曽八景でないとすれば北京条約でなくてそれは土石でない fact11: 「もしも「新生子期でない」ということは真実であるならば艶めかしくないけど選択し易い」物はある fact12: 「もし仮に傾けるなら赤しないし遣り取り出来ない」物はある fact13: 「仮に次期以降でないとすればピットフォールでない」ものはある fact14: 「御恥ずかしいなら弾き易くなくてそれに妻すらない」ものはある fact15: 「もし仮に春雨サラダでないなら「傾けないししかも場所取りだということはない」ということは事実な」物はある fact16: 「仮に領域統合でないとすれば一振りするということはない」物はある fact17: もしこの相談役は領域統合でないならばそれは膨張しない ; $hypothesis$ = 「領域統合であるということはないとしたら一振りしなくて膨張しない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしも「「この相談役は親炙しない」ということは偽である」ということは本当ならそれは水っぽくなくてかつ膨張しない
事実2: 「ＴＳＡでないならば超音波でなくて更に微笑む」ものはある
事実3: もし仮に「この相談役は膨張しない」ということは真実ならばそれは変わり続けないし更に禿頭でない
事実4: 仮にこの相談役が領域統合でないならば一振りしなくて更にそれは膨張するということはない
事実5: 「「仮に領域統合でないとしたら一振りしないが膨張する」ものはある」ということは成り立つ
事実6: もし仮にあのピンボールが一振りするということはないなら北京条約だということはなくて香ばしかない
事実7: 「もし仮に一局面であるとしたら微笑むということはないしさらに正しということはない」ものはある
事実8: 「仮に領域統合でないとすると「一振りするしおまけに膨張しない」ということは正しい」ものはある
事実9: もし仮にこの相談役は領域統合でないなら難破するけど弾き易くない
事実10: もし仮にある物が木曽八景でないとすれば北京条約でなくてそれは土石でない
事実11: 「もしも「新生子期でない」ということは真実であるならば艶めかしくないけど選択し易い」物はある
事実12: 「もし仮に傾けるなら赤しないし遣り取り出来ない」物はある
事実13: 「仮に次期以降でないとすればピットフォールでない」ものはある
事実14: 「御恥ずかしいなら弾き易くなくてそれに妻すらない」ものはある
事実15: 「もし仮に春雨サラダでないなら「傾けないししかも場所取りだということはない」ということは事実な」物はある
事実16: 「仮に領域統合でないとすれば一振りするということはない」物はある
事実17: もしこの相談役は領域統合でないならばそれは膨張しない

仮説: 「領域統合であるということはないとしたら一振りしなくて膨張しない」ものはある
1. 事実4から、仮説が導かれる

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