「あの開発部は罰するけれど絞り上げない」ということは偽である
fact1: 仮に「あの開発部は集塵でなくて更にましまさない」ということは成り立たないなら「それは罰する」ということは成り立つ fact2: もしこの君自身が吠え始めるかもしくはそれが払い終わらないかどちらもであるならばあの開発部は吠え始めるということはない fact3: もし仮にとある物が似合わないがしかしそれがましますなら集塵でない fact4: もしあの開発部は接近するし更に水割りであるとしたら絞り上げない fact5: 仮に何らかのものは集塵でないとすれば「罰するしそれは絞り上げない」ということは間違いである fact6: あの開発部は接近するししかもそれは水割りである fact7: もし仮になにかは吠え始めるということはないならそれは似合わないし更にそれはまします fact8: 「「あの開発部は集塵でないしかつましまさない」ということは成り立たない」ということは真実である
fact4 & fact6 -> int1: 「あの開発部は絞り上げない」ということは真実である; fact8 & fact1 -> int2: あの開発部は罰する; int1 & int2 -> hypothesis;
「あの開発部は罰するけれど絞り上げない」ということは成り立たない
fact12 -> int3: あの開発部は集塵でないならば「罰するが絞り上げない」ということは間違っている; fact11 -> int4: もしあの開発部が似合うということはない一方でそれはましますとすると「集塵でない」ということは事実である; fact10 -> int5: 仮にあの開発部が吠え始めるということはないならそれは似合わない一方でまします;
$facts$ = fact1: 仮に「あの開発部は集塵でなくて更にましまさない」ということは成り立たないなら「それは罰する」ということは成り立つ fact2: もしこの君自身が吠え始めるかもしくはそれが払い終わらないかどちらもであるならばあの開発部は吠え始めるということはない fact3: もし仮にとある物が似合わないがしかしそれがましますなら集塵でない fact4: もしあの開発部は接近するし更に水割りであるとしたら絞り上げない fact5: 仮に何らかのものは集塵でないとすれば「罰するしそれは絞り上げない」ということは間違いである fact6: あの開発部は接近するししかもそれは水割りである fact7: もし仮になにかは吠え始めるということはないならそれは似合わないし更にそれはまします fact8: 「「あの開発部は集塵でないしかつましまさない」ということは成り立たない」ということは真実である ; $hypothesis$ = 「あの開発部は罰するけれど絞り上げない」ということは偽である ; $proof$ = 
fact4 & fact6 -> int1: 「あの開発部は絞り上げない」ということは真実である; fact8 & fact1 -> int2: あの開発部は罰する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「あの開発部は集塵でなくて更にましまさない」ということは成り立たないなら「それは罰する」ということは成り立つ
事実2: もしこの君自身が吠え始めるかもしくはそれが払い終わらないかどちらもであるならばあの開発部は吠え始めるということはない
事実3: もし仮にとある物が似合わないがしかしそれがましますなら集塵でない
事実4: もしあの開発部は接近するし更に水割りであるとしたら絞り上げない
事実5: 仮に何らかのものは集塵でないとすれば「罰するしそれは絞り上げない」ということは間違いである
事実6: あの開発部は接近するししかもそれは水割りである
事実7: もし仮になにかは吠え始めるということはないならそれは似合わないし更にそれはまします
事実8: 「「あの開発部は集塵でないしかつましまさない」ということは成り立たない」ということは真実である

仮説: 「あの開発部は罰するけれど絞り上げない」ということは偽である
1. 事実4と事実6から、推論1: "「あの開発部は絞り上げない」ということは真実である"が導かれる
2. 事実8と事実1から、推論2: "あの開発部は罰する"が導かれる
3. 推論1と推論2から、仮説が否定される

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