「「仮に対処しないかまたは追加徴求しないとすれば「悪事でない」ということは成り立つ」ものはある」ということは偽だ
fact1: 「仮に対処するかもしくは追加徴求しないかもしくはどちらもであるなら悪事だということはない」物はある fact2: 「仮に対処しないかまたは追加徴求しないかまたは両方ともだとすると悪事である」物はある fact3: 仮にその綿飴が濃いということはないかもしくはそれは悪事でないか両方ともであるならばそれは近しない fact4: もし「その綿飴は対処するということはないか追加徴求しない」ということは確かであるとすれば悪事だ fact5: 「「位置しないかあるいは面白くないか両方だとしたら集結でない」ものはある」ということは本当だ fact6: もし仮にその綿飴は対処しないかまたは追加徴求しないかどちらもであるとすると悪事でない fact7: 「対処するということはないならば悪事でない」ものはある fact8: 「ルーティングテーブルでないとすると協業しない」物はある fact9: 「もしも育ち方でないとしたら見辛くない」物はある fact10: もしもその綿飴が追加徴求しないならばそれは悪事でない fact11: もし何らかのものは怖くないか刻み付けるということはないかもしくはどちらもであるなら作成・変更しない
fact6 -> hypothesis;
「もし怖くないかあるいは刻み付けないかどちらもであるとすると作成・変更しない」ものはある
fact12 -> int1: もしもあの名木が怖くないかそれが刻み付けないならばそれは作成・変更しない; int1 -> hypothesis;
$facts$ = fact1: 「仮に対処するかもしくは追加徴求しないかもしくはどちらもであるなら悪事だということはない」物はある fact2: 「仮に対処しないかまたは追加徴求しないかまたは両方ともだとすると悪事である」物はある fact3: 仮にその綿飴が濃いということはないかもしくはそれは悪事でないか両方ともであるならばそれは近しない fact4: もし「その綿飴は対処するということはないか追加徴求しない」ということは確かであるとすれば悪事だ fact5: 「「位置しないかあるいは面白くないか両方だとしたら集結でない」ものはある」ということは本当だ fact6: もし仮にその綿飴は対処しないかまたは追加徴求しないかどちらもであるとすると悪事でない fact7: 「対処するということはないならば悪事でない」ものはある fact8: 「ルーティングテーブルでないとすると協業しない」物はある fact9: 「もしも育ち方でないとしたら見辛くない」物はある fact10: もしもその綿飴が追加徴求しないならばそれは悪事でない fact11: もし何らかのものは怖くないか刻み付けるということはないかもしくはどちらもであるなら作成・変更しない ; $hypothesis$ = 「「仮に対処しないかまたは追加徴求しないとすれば「悪事でない」ということは成り立つ」ものはある」ということは偽だ ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「仮に対処するかもしくは追加徴求しないかもしくはどちらもであるなら悪事だということはない」物はある
事実2: 「仮に対処しないかまたは追加徴求しないかまたは両方ともだとすると悪事である」物はある
事実3: 仮にその綿飴が濃いということはないかもしくはそれは悪事でないか両方ともであるならばそれは近しない
事実4: もし「その綿飴は対処するということはないか追加徴求しない」ということは確かであるとすれば悪事だ
事実5: 「「位置しないかあるいは面白くないか両方だとしたら集結でない」ものはある」ということは本当だ
事実6: もし仮にその綿飴は対処しないかまたは追加徴求しないかどちらもであるとすると悪事でない
事実7: 「対処するということはないならば悪事でない」ものはある
事実8: 「ルーティングテーブルでないとすると協業しない」物はある
事実9: 「もしも育ち方でないとしたら見辛くない」物はある
事実10: もしもその綿飴が追加徴求しないならばそれは悪事でない
事実11: もし何らかのものは怖くないか刻み付けるということはないかもしくはどちらもであるなら作成・変更しない

仮説: 「「仮に対処しないかまたは追加徴求しないとすれば「悪事でない」ということは成り立つ」ものはある」ということは偽だ
1. 事実6から、仮説が否定される

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