「「「甘ったるいということはなくて追及しない」ということは間違っていれば寓しない」ものはある」ということは偽だ
fact1: 「甘ったるいとすると寓しない」物はある fact2: 仮に「なにかは雪深くないししかも塩辛くない」ということは間違いであるならそれは予選しない fact3: 「「甘ったるくない物でおまけに追及する」ということは成り立たないとしたら「寓するということはない」ということは成り立つ」物はある fact4: 「甘ったるくないし追及しないとすれば寓しない」物はある fact5: 「もし仮に「甘ったるくなくてかつ追及しない」ということは正しくないならば「寓する」ということは事実な」ものはある fact6: もしも「あの町橋は甘ったるいがしかし追及しない」ということは成り立たないならば「寓しない」ということは確かだ fact7: 「もし仮に事情聴取するということはないしおまけに包容しないとすると見損なわない」ものはある fact8: 「もしも「焦り出すということはなくて塩辛い」ということは嘘なら輝かしくない」物はある fact9: もしあの町橋が追及するとすればそれは寓しない fact10: 仮に「あの町橋は甘ったるくなくて追及するということはない」ということは成り立たないとするとそれは寓する fact11: 「もし仮に上げ難くないししかもプロらしくないなら動き難くない」ものはある fact12: もし仮に「あの町橋は寓するがしかし恨めしくない」ということは間違いであるならば後ろめたいということはない fact13: 「「あの町橋は甘ったるくないし更に追及しない」ということは間違っているとしたらあの町橋は寓しない」ということは成り立つ fact14: 「もし「保ち続けないし罹患し易い」ということは嘘であるとすると証するということはない」物はある fact15: 「もし「甘ったるいがしかし追及しない」ということは成り立たないとすれば寓しない」ものはある fact16: 「あの町橋は甘ったるくなくてまたそれは追及するということはない」ということは真実であるなら寓しない fact17: 「追及するとしたら寓しない」物はある
fact13 -> hypothesis;
fact13 -> hypothesis;
「もしも「雪深くないしかつ塩辛くない」ということは成り立つということはないとすれば予選しない」ものはある
fact18 -> int1: もしも「その留保利益は雪深くないしそれは塩辛くない」ということは成り立つということはないならそれは予選しない; int1 -> hypothesis;
$facts$ = fact1: 「甘ったるいとすると寓しない」物はある fact2: 仮に「なにかは雪深くないししかも塩辛くない」ということは間違いであるならそれは予選しない fact3: 「「甘ったるくない物でおまけに追及する」ということは成り立たないとしたら「寓するということはない」ということは成り立つ」物はある fact4: 「甘ったるくないし追及しないとすれば寓しない」物はある fact5: 「もし仮に「甘ったるくなくてかつ追及しない」ということは正しくないならば「寓する」ということは事実な」ものはある fact6: もしも「あの町橋は甘ったるいがしかし追及しない」ということは成り立たないならば「寓しない」ということは確かだ fact7: 「もし仮に事情聴取するということはないしおまけに包容しないとすると見損なわない」ものはある fact8: 「もしも「焦り出すということはなくて塩辛い」ということは嘘なら輝かしくない」物はある fact9: もしあの町橋が追及するとすればそれは寓しない fact10: 仮に「あの町橋は甘ったるくなくて追及するということはない」ということは成り立たないとするとそれは寓する fact11: 「もし仮に上げ難くないししかもプロらしくないなら動き難くない」ものはある fact12: もし仮に「あの町橋は寓するがしかし恨めしくない」ということは間違いであるならば後ろめたいということはない fact13: 「「あの町橋は甘ったるくないし更に追及しない」ということは間違っているとしたらあの町橋は寓しない」ということは成り立つ fact14: 「もし「保ち続けないし罹患し易い」ということは嘘であるとすると証するということはない」物はある fact15: 「もし「甘ったるいがしかし追及しない」ということは成り立たないとすれば寓しない」ものはある fact16: 「あの町橋は甘ったるくなくてまたそれは追及するということはない」ということは真実であるなら寓しない fact17: 「追及するとしたら寓しない」物はある ; $hypothesis$ = 「「「甘ったるいということはなくて追及しない」ということは間違っていれば寓しない」ものはある」ということは偽だ ; $proof$ = 
fact13 -> hypothesis; __DISPROVED__
事実1: 「甘ったるいとすると寓しない」物はある
事実2: 仮に「なにかは雪深くないししかも塩辛くない」ということは間違いであるならそれは予選しない
事実3: 「「甘ったるくない物でおまけに追及する」ということは成り立たないとしたら「寓するということはない」ということは成り立つ」物はある
事実4: 「甘ったるくないし追及しないとすれば寓しない」物はある
事実5: 「もし仮に「甘ったるくなくてかつ追及しない」ということは正しくないならば「寓する」ということは事実な」ものはある
事実6: もしも「あの町橋は甘ったるいがしかし追及しない」ということは成り立たないならば「寓しない」ということは確かだ
事実7: 「もし仮に事情聴取するということはないしおまけに包容しないとすると見損なわない」ものはある
事実8: 「もしも「焦り出すということはなくて塩辛い」ということは嘘なら輝かしくない」物はある
事実9: もしあの町橋が追及するとすればそれは寓しない
事実10: 仮に「あの町橋は甘ったるくなくて追及するということはない」ということは成り立たないとするとそれは寓する
事実11: 「もし仮に上げ難くないししかもプロらしくないなら動き難くない」ものはある
事実12: もし仮に「あの町橋は寓するがしかし恨めしくない」ということは間違いであるならば後ろめたいということはない
事実13: 「「あの町橋は甘ったるくないし更に追及しない」ということは間違っているとしたらあの町橋は寓しない」ということは成り立つ
事実14: 「もし「保ち続けないし罹患し易い」ということは嘘であるとすると証するということはない」物はある
事実15: 「もし「甘ったるいがしかし追及しない」ということは成り立たないとすれば寓しない」ものはある
事実16: 「あの町橋は甘ったるくなくてまたそれは追及するということはない」ということは真実であるなら寓しない
事実17: 「追及するとしたら寓しない」物はある

仮説: 「「「甘ったるいということはなくて追及しない」ということは間違っていれば寓しない」ものはある」ということは偽だ
1. 事実13から、仮説が否定される

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