「もし「尋問しなくてかつ掻っ払わない」ということは事実と異なるとすれば手堅くない」ものはある
fact1: 仮に「その基準は実体弾でないし掻っ払うということはない」ということは成り立たないとするとスピークでない fact2: 「もしも「尋問しないけど掻っ払う」ということは成り立たないならば手堅くない」物はある fact3: 「尋問しないしさらに掻っ払うということはないとすると手堅くない」物はある fact4: 「掻っ払うなら手堅くない」ものはある fact5: もし仮に「なんらかの物はＸＯでないし手堅くない」ということは真実でないなら「経済戦略会議でない」ということは成り立つ fact6: 「「熱力学でないしさらに有り過ぎるということはない」ということは事実と異なるとすれば使役しない」物はある fact7: もし「この代理人達は尋問する一方で掻っ払わない」ということは間違っているとすれば手堅くない fact8: 「仮に「特色付けなくてそれにモシリでない」ということは嘘であるとすると三位一体改革でない」ものはある fact9: もしこの代理人達は尋問しないしかつ掻っ払わないとしたら手堅くない fact10: もしも「「「この代理人達が尋問しないしさらにそれは掻っ払わない」ということは本当である」ということは偽だ」ということは確かであるなら手堅いということはない fact11: もしも「「この代理人達は楽しということはないしそれは掻っ払うということはない」ということは成り立つ」ということは成り立たないなら詰まり易くない fact12: 「もし仮に「尋問するということはなくてかつ掻っ払わない」ということは間違いだとすると手堅い」ものはある fact13: 「尋問するとすれば手堅くない」ものはある fact14: もしも「この代理人達はエネルギー価格でないしその上考量しない」ということは成り立たないとすれば「手堅いということはない」ということは正しい fact15: もし「この代理人達は尋問するということはないし加えて掻っ払わない」ということは偽であるとすればそれは手堅い fact16: 「「尋問するしそれに掻っ払わない」ということは成り立たないとすると「手堅くない」ということは事実である」物はある fact17: もし「その東向きは整い過ぎるということはなくて手堅くない」ということは成り立たないとするとそれは輸入代金でない fact18: 仮にこの代理人達が掻っ払うとすれば手堅くない fact19: 「その数時間毎は掻っ払わないし更に登録会社でない」ということは誤っていれば「それは売り出さない」ということは成り立つ fact20: 「あるものは取り扱い易くなくて手堅くない」ということは成り立たないとしたら近しくない
fact10 -> hypothesis;
もし「この代理人達はＸＯでなくてそれは手堅くない」ということは成り立たないとするとそれは経済戦略会議であるということはない
fact21 -> hypothesis;
$facts$ = fact1: 仮に「その基準は実体弾でないし掻っ払うということはない」ということは成り立たないとするとスピークでない fact2: 「もしも「尋問しないけど掻っ払う」ということは成り立たないならば手堅くない」物はある fact3: 「尋問しないしさらに掻っ払うということはないとすると手堅くない」物はある fact4: 「掻っ払うなら手堅くない」ものはある fact5: もし仮に「なんらかの物はＸＯでないし手堅くない」ということは真実でないなら「経済戦略会議でない」ということは成り立つ fact6: 「「熱力学でないしさらに有り過ぎるということはない」ということは事実と異なるとすれば使役しない」物はある fact7: もし「この代理人達は尋問する一方で掻っ払わない」ということは間違っているとすれば手堅くない fact8: 「仮に「特色付けなくてそれにモシリでない」ということは嘘であるとすると三位一体改革でない」ものはある fact9: もしこの代理人達は尋問しないしかつ掻っ払わないとしたら手堅くない fact10: もしも「「「この代理人達が尋問しないしさらにそれは掻っ払わない」ということは本当である」ということは偽だ」ということは確かであるなら手堅いということはない fact11: もしも「「この代理人達は楽しということはないしそれは掻っ払うということはない」ということは成り立つ」ということは成り立たないなら詰まり易くない fact12: 「もし仮に「尋問するということはなくてかつ掻っ払わない」ということは間違いだとすると手堅い」ものはある fact13: 「尋問するとすれば手堅くない」ものはある fact14: もしも「この代理人達はエネルギー価格でないしその上考量しない」ということは成り立たないとすれば「手堅いということはない」ということは正しい fact15: もし「この代理人達は尋問するということはないし加えて掻っ払わない」ということは偽であるとすればそれは手堅い fact16: 「「尋問するしそれに掻っ払わない」ということは成り立たないとすると「手堅くない」ということは事実である」物はある fact17: もし「その東向きは整い過ぎるということはなくて手堅くない」ということは成り立たないとするとそれは輸入代金でない fact18: 仮にこの代理人達が掻っ払うとすれば手堅くない fact19: 「その数時間毎は掻っ払わないし更に登録会社でない」ということは誤っていれば「それは売り出さない」ということは成り立つ fact20: 「あるものは取り扱い易くなくて手堅くない」ということは成り立たないとしたら近しくない ; $hypothesis$ = 「もし「尋問しなくてかつ掻っ払わない」ということは事実と異なるとすれば手堅くない」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮に「その基準は実体弾でないし掻っ払うということはない」ということは成り立たないとするとスピークでない
事実2: 「もしも「尋問しないけど掻っ払う」ということは成り立たないならば手堅くない」物はある
事実3: 「尋問しないしさらに掻っ払うということはないとすると手堅くない」物はある
事実4: 「掻っ払うなら手堅くない」ものはある
事実5: もし仮に「なんらかの物はＸＯでないし手堅くない」ということは真実でないなら「経済戦略会議でない」ということは成り立つ
事実6: 「「熱力学でないしさらに有り過ぎるということはない」ということは事実と異なるとすれば使役しない」物はある
事実7: もし「この代理人達は尋問する一方で掻っ払わない」ということは間違っているとすれば手堅くない
事実8: 「仮に「特色付けなくてそれにモシリでない」ということは嘘であるとすると三位一体改革でない」ものはある
事実9: もしこの代理人達は尋問しないしかつ掻っ払わないとしたら手堅くない
事実10: もしも「「「この代理人達が尋問しないしさらにそれは掻っ払わない」ということは本当である」ということは偽だ」ということは確かであるなら手堅いということはない
事実11: もしも「「この代理人達は楽しということはないしそれは掻っ払うということはない」ということは成り立つ」ということは成り立たないなら詰まり易くない
事実12: 「もし仮に「尋問するということはなくてかつ掻っ払わない」ということは間違いだとすると手堅い」ものはある
事実13: 「尋問するとすれば手堅くない」ものはある
事実14: もしも「この代理人達はエネルギー価格でないしその上考量しない」ということは成り立たないとすれば「手堅いということはない」ということは正しい
事実15: もし「この代理人達は尋問するということはないし加えて掻っ払わない」ということは偽であるとすればそれは手堅い
事実16: 「「尋問するしそれに掻っ払わない」ということは成り立たないとすると「手堅くない」ということは事実である」物はある
事実17: もし「その東向きは整い過ぎるということはなくて手堅くない」ということは成り立たないとするとそれは輸入代金でない
事実18: 仮にこの代理人達が掻っ払うとすれば手堅くない
事実19: 「その数時間毎は掻っ払わないし更に登録会社でない」ということは誤っていれば「それは売り出さない」ということは成り立つ
事実20: 「あるものは取り扱い易くなくて手堅くない」ということは成り立たないとしたら近しくない

仮説: 「もし「尋問しなくてかつ掻っ払わない」ということは事実と異なるとすれば手堅くない」ものはある
1. 事実10から、仮説が導かれる

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