「「もしも「聡くないしさらに節制するということはない」ということは誤りであるとすれば検分しない」物はある」ということは誤っている
fact1: もし仮に「この屋根材一体型は平積みでない一方で打球である」ということは間違いだとすると林縁でない fact2: 「千七百六十七年版であるなら労労じない」ものはある fact3: 「「もし聡いならば検分しない」ものはある」ということは成り立つ fact4: 「「あの国書碑は聡くないし更にそれは節制するということはない」ということは成り立つ」ということは間違いだとしたら検分する fact5: 「仮に「聡いけれど節制するということはない」ということは成り立たないとすれば検分しない」ものはある fact6: 「もし仮に飽くとしたら引き易いということはない」物はある fact7: 「もし仮に「天然元素でなくてかつ身罷る」ということは成り立たないとすると鑑賞し易くない」物はある fact8: 「もしも「練り込まないしそれに特別利害関係者でない」ということは嘘なら「硫酸バリウムだ」ということは確かな」ものはある fact9: 「仮に聡いということはなくてまた節制しないなら検分しない」物はある fact10: 「「もし仮に「聡いということはないがしかし節制する」ということは間違いならば「検分するということはない」ということは事実な」ものはある」ということは嘘でない fact11: あの国書碑は銀行マンでなくて節制しないとしたら円錐形でない fact12: 「もし節制するとすると検分しない」物はある fact13: もしも「あの国書碑は聡くないがそれは節制する」ということは成り立たないとしたら検分しない fact14: もしも「あの国書碑は聡くないしその上それは節制しない」ということは誤っていればそれは検分しない fact15: もし「なんらかのものは授業内容でなくてかつ硫酸バリウムでない」ということは間違いであるならば溜まり易くない fact16: もしも「あの外部データは節制しないしかつ同時刻でない」ということは確かであるということはないならそれは平身低頭する fact17: 「仮に「聡くなくて更に節制しない」ということは確かでないなら検分する」ものはある fact18: もし仮にあの国書碑が聡いとすると検分しない fact19: もしあの国書碑は聡くないしさらに節制しないならば「検分するということはない」ということは誤っていない fact20: もし仮に「あの国書碑は羨ましくなくてまた五十六年度でない」ということは本当でないならそれは千七百六十七年版である fact21: 「もし「出入金記録だということはなくてすごーくない」ということは誤っているとしたら利用し難くない」物はある
fact14 -> hypothesis;
「仮に「授業内容でなくて硫酸バリウムでない」ということは誤りであるとしたら溜まり易くない」ものはある
fact22 -> int1: 「この統帥権は授業内容でなくて硫酸バリウムでない」ということは成り立たないならそれは溜まり易くない; int1 -> hypothesis;
$facts$ = fact1: もし仮に「この屋根材一体型は平積みでない一方で打球である」ということは間違いだとすると林縁でない fact2: 「千七百六十七年版であるなら労労じない」ものはある fact3: 「「もし聡いならば検分しない」ものはある」ということは成り立つ fact4: 「「あの国書碑は聡くないし更にそれは節制するということはない」ということは成り立つ」ということは間違いだとしたら検分する fact5: 「仮に「聡いけれど節制するということはない」ということは成り立たないとすれば検分しない」ものはある fact6: 「もし仮に飽くとしたら引き易いということはない」物はある fact7: 「もし仮に「天然元素でなくてかつ身罷る」ということは成り立たないとすると鑑賞し易くない」物はある fact8: 「もしも「練り込まないしそれに特別利害関係者でない」ということは嘘なら「硫酸バリウムだ」ということは確かな」ものはある fact9: 「仮に聡いということはなくてまた節制しないなら検分しない」物はある fact10: 「「もし仮に「聡いということはないがしかし節制する」ということは間違いならば「検分するということはない」ということは事実な」ものはある」ということは嘘でない fact11: あの国書碑は銀行マンでなくて節制しないとしたら円錐形でない fact12: 「もし節制するとすると検分しない」物はある fact13: もしも「あの国書碑は聡くないがそれは節制する」ということは成り立たないとしたら検分しない fact14: もしも「あの国書碑は聡くないしその上それは節制しない」ということは誤っていればそれは検分しない fact15: もし「なんらかのものは授業内容でなくてかつ硫酸バリウムでない」ということは間違いであるならば溜まり易くない fact16: もしも「あの外部データは節制しないしかつ同時刻でない」ということは確かであるということはないならそれは平身低頭する fact17: 「仮に「聡くなくて更に節制しない」ということは確かでないなら検分する」ものはある fact18: もし仮にあの国書碑が聡いとすると検分しない fact19: もしあの国書碑は聡くないしさらに節制しないならば「検分するということはない」ということは誤っていない fact20: もし仮に「あの国書碑は羨ましくなくてまた五十六年度でない」ということは本当でないならそれは千七百六十七年版である fact21: 「もし「出入金記録だということはなくてすごーくない」ということは誤っているとしたら利用し難くない」物はある ; $hypothesis$ = 「「もしも「聡くないしさらに節制するということはない」ということは誤りであるとすれば検分しない」物はある」ということは誤っている ; $proof$ = 
fact14 -> hypothesis; __DISPROVED__
事実1: もし仮に「この屋根材一体型は平積みでない一方で打球である」ということは間違いだとすると林縁でない
事実2: 「千七百六十七年版であるなら労労じない」ものはある
事実3: 「「もし聡いならば検分しない」ものはある」ということは成り立つ
事実4: 「「あの国書碑は聡くないし更にそれは節制するということはない」ということは成り立つ」ということは間違いだとしたら検分する
事実5: 「仮に「聡いけれど節制するということはない」ということは成り立たないとすれば検分しない」ものはある
事実6: 「もし仮に飽くとしたら引き易いということはない」物はある
事実7: 「もし仮に「天然元素でなくてかつ身罷る」ということは成り立たないとすると鑑賞し易くない」物はある
事実8: 「もしも「練り込まないしそれに特別利害関係者でない」ということは嘘なら「硫酸バリウムだ」ということは確かな」ものはある
事実9: 「仮に聡いということはなくてまた節制しないなら検分しない」物はある
事実10: 「「もし仮に「聡いということはないがしかし節制する」ということは間違いならば「検分するということはない」ということは事実な」ものはある」ということは嘘でない
事実11: あの国書碑は銀行マンでなくて節制しないとしたら円錐形でない
事実12: 「もし節制するとすると検分しない」物はある
事実13: もしも「あの国書碑は聡くないがそれは節制する」ということは成り立たないとしたら検分しない
事実14: もしも「あの国書碑は聡くないしその上それは節制しない」ということは誤っていればそれは検分しない
事実15: もし「なんらかのものは授業内容でなくてかつ硫酸バリウムでない」ということは間違いであるならば溜まり易くない
事実16: もしも「あの外部データは節制しないしかつ同時刻でない」ということは確かであるということはないならそれは平身低頭する
事実17: 「仮に「聡くなくて更に節制しない」ということは確かでないなら検分する」ものはある
事実18: もし仮にあの国書碑が聡いとすると検分しない
事実19: もしあの国書碑は聡くないしさらに節制しないならば「検分するということはない」ということは誤っていない
事実20: もし仮に「あの国書碑は羨ましくなくてまた五十六年度でない」ということは本当でないならそれは千七百六十七年版である
事実21: 「もし「出入金記録だということはなくてすごーくない」ということは誤っているとしたら利用し難くない」物はある

仮説: 「「もしも「聡くないしさらに節制するということはない」ということは誤りであるとすれば検分しない」物はある」ということは誤っている
1. 事実14から、仮説が否定される

よって、仮説が否定されました。