「その管轄地域はファクター毎でない」ということは成り立つ
fact1: もしも「何かは傘加しないがそれは受台部だ」ということは成り立たないとしたらそれは受台部でない fact2: その催涙ガスは俗っぽいということはないなら「あの減少傾向はパスワードファイルである一方で背鰭でない」ということは嘘だ fact3: もしも「受台部であるかもしくは傘加する」ものがあるとすればこの検査場面は子供らしい fact4: もしその管轄地域はダヴ・ブランドでないならファクター毎でない fact5: もし仮にこの検査場面は子供らしいとしたら「その管轄地域はダヴ・ブランドだということはない」ということは本当だ fact6: その催涙ガスは俗っぽくない fact7: もしあの減少傾向は背鰭であるならば受台部だ fact8: 仮に「パスワードファイルであるかまたは俗っぽい」物があるならその催涙ガスは背鰭だ fact9: 仮に「あの減少傾向はパスワードファイルだけれどそれは背鰭だということはない」ということは事実と異なるとすると受台部である
fact2 & fact6 -> int1: 「あの減少傾向はパスワードファイルであるがしかしそれは背鰭でない」ということは嘘だ; int1 & fact9 -> int2: あの減少傾向は受台部だ; int2 -> int3: あの減少傾向は受台部であるかあるいは傘加する; int3 -> int4: 「受台部であるかあるいは傘加するかまたは両方ともな」物はある; int4 & fact3 -> int5: この検査場面は子供らしい; int5 & fact5 -> int6: その管轄地域はダヴ・ブランドであるということはない; int6 & fact4 -> hypothesis;
その管轄地域はファクター毎である
fact10 -> int7: 仮に「「その管轄地域は傘加しないけど受台部だ」ということは本当である」ということは誤りだとすればそれは受台部だということはない;
$facts$ = fact1: もしも「何かは傘加しないがそれは受台部だ」ということは成り立たないとしたらそれは受台部でない fact2: その催涙ガスは俗っぽいということはないなら「あの減少傾向はパスワードファイルである一方で背鰭でない」ということは嘘だ fact3: もしも「受台部であるかもしくは傘加する」ものがあるとすればこの検査場面は子供らしい fact4: もしその管轄地域はダヴ・ブランドでないならファクター毎でない fact5: もし仮にこの検査場面は子供らしいとしたら「その管轄地域はダヴ・ブランドだということはない」ということは本当だ fact6: その催涙ガスは俗っぽくない fact7: もしあの減少傾向は背鰭であるならば受台部だ fact8: 仮に「パスワードファイルであるかまたは俗っぽい」物があるならその催涙ガスは背鰭だ fact9: 仮に「あの減少傾向はパスワードファイルだけれどそれは背鰭だということはない」ということは事実と異なるとすると受台部である ; $hypothesis$ = 「その管轄地域はファクター毎でない」ということは成り立つ ; $proof$ = 
fact2 & fact6 -> int1: 「あの減少傾向はパスワードファイルであるがしかしそれは背鰭でない」ということは嘘だ; int1 & fact9 -> int2: あの減少傾向は受台部だ; int2 -> int3: あの減少傾向は受台部であるかあるいは傘加する; int3 -> int4: 「受台部であるかあるいは傘加するかまたは両方ともな」物はある; int4 & fact3 -> int5: この検査場面は子供らしい; int5 & fact5 -> int6: その管轄地域はダヴ・ブランドであるということはない; int6 & fact4 -> hypothesis; __PROVED__
事実1: もしも「何かは傘加しないがそれは受台部だ」ということは成り立たないとしたらそれは受台部でない
事実2: その催涙ガスは俗っぽいということはないなら「あの減少傾向はパスワードファイルである一方で背鰭でない」ということは嘘だ
事実3: もしも「受台部であるかもしくは傘加する」ものがあるとすればこの検査場面は子供らしい
事実4: もしその管轄地域はダヴ・ブランドでないならファクター毎でない
事実5: もし仮にこの検査場面は子供らしいとしたら「その管轄地域はダヴ・ブランドだということはない」ということは本当だ
事実6: その催涙ガスは俗っぽくない
事実7: もしあの減少傾向は背鰭であるならば受台部だ
事実8: 仮に「パスワードファイルであるかまたは俗っぽい」物があるならその催涙ガスは背鰭だ
事実9: 仮に「あの減少傾向はパスワードファイルだけれどそれは背鰭だということはない」ということは事実と異なるとすると受台部である

仮説: 「その管轄地域はファクター毎でない」ということは成り立つ
1. 事実2と事実6から、推論1: "「あの減少傾向はパスワードファイルであるがしかしそれは背鰭でない」ということは嘘だ"が導かれる
2. 推論1と事実9から、推論2: "あの減少傾向は受台部だ"が導かれる
3. 推論2から、推論3: "あの減少傾向は受台部であるかあるいは傘加する"が導かれる
4. 推論3から、推論4: "「受台部であるかあるいは傘加するかまたは両方ともな」物はある"が導かれる
5. 推論4と事実3から、推論5: "この検査場面は子供らしい"が導かれる
6. 推論5と事実5から、推論6: "その管轄地域はダヴ・ブランドであるということはない"が導かれる
7. 推論6と事実4から、仮説が導かれる

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