「「進み易くない」ということは真実だとすると「関知するしその上取り押さえない」ということは成り立たない」ものはある
fact1: 「もし仮にクラス単位だということはないならば「伝え易いがしかし取り澄まさない」ということは成り立つということはない」物はある fact2: 仮になにがしかの物は伸縮しないなら「取り澄ますしそれは代名詞でない」ということは間違いだ fact3: もしもこの自動車利用はつれなくないならば「それは進み易いが版画用紙でない」ということは事実でない fact4: 「進み易いとすると「関知するし取り押さえない」ということは間違っている」ものはある fact5: もし仮にこの自動車利用は進み易くないとすれば「関知するが取り押さえない」ということは成り立たない fact6: この自動車利用が進み易いということはないならばそれは関知するしさらにそれは取り押さえない fact7: 「もし仮に進み易いということはないなら関知するが取り押さえるということはない」物はある fact8: 「もしも切り倒さないならば「コーミングだけど混乱し始めない」ということは誤りな」ものはある fact9: もしもこの自動車利用は進み易くないとしたら「関知するし取り押さえる」ということは成り立つということはない fact10: もしもあのＪＰＧは荒らさないとすると「それは御忙しいし加えてそれは入会するということはない」ということは成り立たない fact11: 「もしも進み易くないならば「関知するしその上取り押さえる」ということは間違っている」ものはある fact12: 仮にこの自動車利用は忘れ難くないなら「それは関知するがしかし荒くない」ということは偽だ fact13: 「もしもおもろくないとしたら「苛立たしいがしかし設置しない」ということは成り立たない」物はある fact14: 「「仮に「でかくない」ということは真実ならば「刀杖品だし加えて当該信託であるということはない」ということは間違っている」物はある」ということは正しい fact15: 「伸縮するということはないならば「黒い一方で情報・コンピューターでない」ということは誤りな」ものはある fact16: 「もしも遺髪でないとすると「去り行くがしかし取り締まらない」ということは成り立つということはない」ものはある fact17: もしこの自動車利用は進み易いとすれば「それは関知するしそれは取り押さえない」ということは嘘だ fact18: もし「この自動車利用は切り倒さない」ということは成り立つとしたら「消化吸収され易くてかつそれは続き易くない」ということは嘘である fact19: 「もし仮に消化吸収され易くないとすると「扱えるし加えて厳しかない」ということは成り立たない」ものはある fact20: 「「絶縁しない」ということは成り立てば「瞬くしクラス単位でない」ということは誤りである」ものはある
fact5 -> hypothesis;
「もしも伸縮しないとすれば「取り澄ますし代名詞だということはない」ということは間違っている」ものはある
fact21 -> int1: もし仮にあのパロキセチンは伸縮するということはないとしたら「「取り澄ますしかつ代名詞でない」ということは本当だ」ということは嘘である; int1 -> hypothesis;
$facts$ = fact1: 「もし仮にクラス単位だということはないならば「伝え易いがしかし取り澄まさない」ということは成り立つということはない」物はある fact2: 仮になにがしかの物は伸縮しないなら「取り澄ますしそれは代名詞でない」ということは間違いだ fact3: もしもこの自動車利用はつれなくないならば「それは進み易いが版画用紙でない」ということは事実でない fact4: 「進み易いとすると「関知するし取り押さえない」ということは間違っている」ものはある fact5: もし仮にこの自動車利用は進み易くないとすれば「関知するが取り押さえない」ということは成り立たない fact6: この自動車利用が進み易いということはないならばそれは関知するしさらにそれは取り押さえない fact7: 「もし仮に進み易いということはないなら関知するが取り押さえるということはない」物はある fact8: 「もしも切り倒さないならば「コーミングだけど混乱し始めない」ということは誤りな」ものはある fact9: もしもこの自動車利用は進み易くないとしたら「関知するし取り押さえる」ということは成り立つということはない fact10: もしもあのＪＰＧは荒らさないとすると「それは御忙しいし加えてそれは入会するということはない」ということは成り立たない fact11: 「もしも進み易くないならば「関知するしその上取り押さえる」ということは間違っている」ものはある fact12: 仮にこの自動車利用は忘れ難くないなら「それは関知するがしかし荒くない」ということは偽だ fact13: 「もしもおもろくないとしたら「苛立たしいがしかし設置しない」ということは成り立たない」物はある fact14: 「「仮に「でかくない」ということは真実ならば「刀杖品だし加えて当該信託であるということはない」ということは間違っている」物はある」ということは正しい fact15: 「伸縮するということはないならば「黒い一方で情報・コンピューターでない」ということは誤りな」ものはある fact16: 「もしも遺髪でないとすると「去り行くがしかし取り締まらない」ということは成り立つということはない」ものはある fact17: もしこの自動車利用は進み易いとすれば「それは関知するしそれは取り押さえない」ということは嘘だ fact18: もし「この自動車利用は切り倒さない」ということは成り立つとしたら「消化吸収され易くてかつそれは続き易くない」ということは嘘である fact19: 「もし仮に消化吸収され易くないとすると「扱えるし加えて厳しかない」ということは成り立たない」ものはある fact20: 「「絶縁しない」ということは成り立てば「瞬くしクラス単位でない」ということは誤りである」ものはある ; $hypothesis$ = 「「進み易くない」ということは真実だとすると「関知するしその上取り押さえない」ということは成り立たない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮にクラス単位だということはないならば「伝え易いがしかし取り澄まさない」ということは成り立つということはない」物はある
事実2: 仮になにがしかの物は伸縮しないなら「取り澄ますしそれは代名詞でない」ということは間違いだ
事実3: もしもこの自動車利用はつれなくないならば「それは進み易いが版画用紙でない」ということは事実でない
事実4: 「進み易いとすると「関知するし取り押さえない」ということは間違っている」ものはある
事実5: もし仮にこの自動車利用は進み易くないとすれば「関知するが取り押さえない」ということは成り立たない
事実6: この自動車利用が進み易いということはないならばそれは関知するしさらにそれは取り押さえない
事実7: 「もし仮に進み易いということはないなら関知するが取り押さえるということはない」物はある
事実8: 「もしも切り倒さないならば「コーミングだけど混乱し始めない」ということは誤りな」ものはある
事実9: もしもこの自動車利用は進み易くないとしたら「関知するし取り押さえる」ということは成り立つということはない
事実10: もしもあのＪＰＧは荒らさないとすると「それは御忙しいし加えてそれは入会するということはない」ということは成り立たない
事実11: 「もしも進み易くないならば「関知するしその上取り押さえる」ということは間違っている」ものはある
事実12: 仮にこの自動車利用は忘れ難くないなら「それは関知するがしかし荒くない」ということは偽だ
事実13: 「もしもおもろくないとしたら「苛立たしいがしかし設置しない」ということは成り立たない」物はある
事実14: 「「仮に「でかくない」ということは真実ならば「刀杖品だし加えて当該信託であるということはない」ということは間違っている」物はある」ということは正しい
事実15: 「伸縮するということはないならば「黒い一方で情報・コンピューターでない」ということは誤りな」ものはある
事実16: 「もしも遺髪でないとすると「去り行くがしかし取り締まらない」ということは成り立つということはない」ものはある
事実17: もしこの自動車利用は進み易いとすれば「それは関知するしそれは取り押さえない」ということは嘘だ
事実18: もし「この自動車利用は切り倒さない」ということは成り立つとしたら「消化吸収され易くてかつそれは続き易くない」ということは嘘である
事実19: 「もし仮に消化吸収され易くないとすると「扱えるし加えて厳しかない」ということは成り立たない」ものはある
事実20: 「「絶縁しない」ということは成り立てば「瞬くしクラス単位でない」ということは誤りである」ものはある

仮説: 「「進み易くない」ということは真実だとすると「関知するしその上取り押さえない」ということは成り立たない」ものはある
1. 事実5から、仮説が導かれる

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