「もし甘酸っぱいとすると「「売買春であるということはないしその上混入し易くない」ということは成り立つ」ということは本当でない」ものはある
fact1: 「もしも甘酸っぱいとすれば「売買春であるし混入し易くない」ということは誤っている」ものはある fact2: もしもなんらかの物は甘酸っぱいならば「売買春でないしさらに混入し易くない」ということは誤っている fact3: もしもあの交換時が固しならそれはメンバーさんでなくてそれは思い遣らない fact4: もしその探し様は毛穴だとすると「通じ難いということはなくておまけに先物価格でない」ということは偽だ fact5: もしも何らかのものは甘酸っぱいなら「売買春だしさらにそれは混入し易くない」ということは間違いである fact6: 「もし甘酸っぱいとすると売買春でなくて更に混入し易くない」ものはある fact7: 仮になにがしかのものは変化し易いなら「六五歩でなくてしかも乗り為さらない」ということは間違いだ
fact2 -> int1: もしその探し様は甘酸っぱいなら「売買春でなくてかつ混入し易くない」ということは誤っている; int1 -> hypothesis;
もしその探し様は変化し易いとすれば「それは六五歩でなくてそれにそれは乗り為さらない」ということは成り立たない
fact8 -> hypothesis;
$facts$ = fact1: 「もしも甘酸っぱいとすれば「売買春であるし混入し易くない」ということは誤っている」ものはある fact2: もしもなんらかの物は甘酸っぱいならば「売買春でないしさらに混入し易くない」ということは誤っている fact3: もしもあの交換時が固しならそれはメンバーさんでなくてそれは思い遣らない fact4: もしその探し様は毛穴だとすると「通じ難いということはなくておまけに先物価格でない」ということは偽だ fact5: もしも何らかのものは甘酸っぱいなら「売買春だしさらにそれは混入し易くない」ということは間違いである fact6: 「もし甘酸っぱいとすると売買春でなくて更に混入し易くない」ものはある fact7: 仮になにがしかのものは変化し易いなら「六五歩でなくてしかも乗り為さらない」ということは間違いだ ; $hypothesis$ = 「もし甘酸っぱいとすると「「売買春であるということはないしその上混入し易くない」ということは成り立つ」ということは本当でない」ものはある ; $proof$ = 
fact2 -> int1: もしその探し様は甘酸っぱいなら「売買春でなくてかつ混入し易くない」ということは誤っている; int1 -> hypothesis; __PROVED__
事実1: 「もしも甘酸っぱいとすれば「売買春であるし混入し易くない」ということは誤っている」ものはある
事実2: もしもなんらかの物は甘酸っぱいならば「売買春でないしさらに混入し易くない」ということは誤っている
事実3: もしもあの交換時が固しならそれはメンバーさんでなくてそれは思い遣らない
事実4: もしその探し様は毛穴だとすると「通じ難いということはなくておまけに先物価格でない」ということは偽だ
事実5: もしも何らかのものは甘酸っぱいなら「売買春だしさらにそれは混入し易くない」ということは間違いである
事実6: 「もし甘酸っぱいとすると売買春でなくて更に混入し易くない」ものはある
事実7: 仮になにがしかのものは変化し易いなら「六五歩でなくてしかも乗り為さらない」ということは間違いだ

仮説: 「もし甘酸っぱいとすると「「売買春であるということはないしその上混入し易くない」ということは成り立つ」ということは本当でない」ものはある
1. 事実2から、推論1: "もしその探し様は甘酸っぱいなら「売買春でなくてかつ混入し易くない」ということは誤っている"が導かれる
2. 推論1から、仮説が導かれる

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