「何らかのものは四ヘッダであるかまたは汚らわしい」ということは成り立たない
fact1: 全てのものは拙くなくてそれは接吻する fact2: なんらかの物が意味すればそれは四ヘッダである fact3: あのＱＪは拙くない fact4: もし「あのＱＪは接吻する」ということは成り立つとすればあの後期印象派は意味する fact5: あの後期印象派が意味するとすればそれは接吻する fact6: あのＱＪは北上する fact7: 「ある物は意味するということはないけれど拙い」ということは誤りだとすればそれは拙くない fact8: 拙くない物は異世界でないがしかし滑り易い fact9: あらゆる物は拙くない fact10: あのＱＪは介護出来るとすると「汚らわしい」ということは正しい fact11: あの後期印象派は叫べる fact12: もし仮に何らかのものがされ易いならば止めする fact13: もしとある物は接吻しないならば「意味しなくてかつそれは拙い」ということは間違いである
fact1 -> int1: あのＱＪは拙いということはないがしかし接吻する; int1 -> int2: あのＱＪは接吻する; int2 & fact4 -> int3: あの後期印象派は意味する; fact2 -> int4: 仮にあの後期印象派が意味すればそれは四ヘッダである; int3 & int4 -> int5: あの後期印象派は四ヘッダである; int5 -> int6: あの後期印象派は四ヘッダであるか汚らわしい; int6 -> hypothesis;
あらゆる物は異世界でない一方で滑り易い
fact14 -> int7: もし「あの後期印象派は意味しないが拙い」ということは間違っているとすると拙くない; fact16 -> int8: 仮にあの後期印象派は接吻しないならば「それは意味するということはないしそれは拙い」ということは成り立たない; fact15 -> int9: もしもあの後期印象派が拙くないなら異世界でないしまたそれは滑り易い;
$facts$ = fact1: 全てのものは拙くなくてそれは接吻する fact2: なんらかの物が意味すればそれは四ヘッダである fact3: あのＱＪは拙くない fact4: もし「あのＱＪは接吻する」ということは成り立つとすればあの後期印象派は意味する fact5: あの後期印象派が意味するとすればそれは接吻する fact6: あのＱＪは北上する fact7: 「ある物は意味するということはないけれど拙い」ということは誤りだとすればそれは拙くない fact8: 拙くない物は異世界でないがしかし滑り易い fact9: あらゆる物は拙くない fact10: あのＱＪは介護出来るとすると「汚らわしい」ということは正しい fact11: あの後期印象派は叫べる fact12: もし仮に何らかのものがされ易いならば止めする fact13: もしとある物は接吻しないならば「意味しなくてかつそれは拙い」ということは間違いである ; $hypothesis$ = 「何らかのものは四ヘッダであるかまたは汚らわしい」ということは成り立たない ; $proof$ = 
fact1 -> int1: あのＱＪは拙いということはないがしかし接吻する; int1 -> int2: あのＱＪは接吻する; int2 & fact4 -> int3: あの後期印象派は意味する; fact2 -> int4: 仮にあの後期印象派が意味すればそれは四ヘッダである; int3 & int4 -> int5: あの後期印象派は四ヘッダである; int5 -> int6: あの後期印象派は四ヘッダであるか汚らわしい; int6 -> hypothesis; __DISPROVED__
事実1: 全てのものは拙くなくてそれは接吻する
事実2: なんらかの物が意味すればそれは四ヘッダである
事実3: あのＱＪは拙くない
事実4: もし「あのＱＪは接吻する」ということは成り立つとすればあの後期印象派は意味する
事実5: あの後期印象派が意味するとすればそれは接吻する
事実6: あのＱＪは北上する
事実7: 「ある物は意味するということはないけれど拙い」ということは誤りだとすればそれは拙くない
事実8: 拙くない物は異世界でないがしかし滑り易い
事実9: あらゆる物は拙くない
事実10: あのＱＪは介護出来るとすると「汚らわしい」ということは正しい
事実11: あの後期印象派は叫べる
事実12: もし仮に何らかのものがされ易いならば止めする
事実13: もしとある物は接吻しないならば「意味しなくてかつそれは拙い」ということは間違いである

仮説: 「何らかのものは四ヘッダであるかまたは汚らわしい」ということは成り立たない
1. 事実1から、推論1: "あのＱＪは拙いということはないがしかし接吻する"が導かれる
2. 推論1から、推論2: "あのＱＪは接吻する"が導かれる
3. 推論2と事実4から、推論3: "あの後期印象派は意味する"が導かれる
4. 事実2から、推論4: "仮にあの後期印象派が意味すればそれは四ヘッダである"が導かれる
5. 推論3と推論4から、推論5: "あの後期印象派は四ヘッダである"が導かれる
6. 推論5から、推論6: "あの後期印象派は四ヘッダであるか汚らわしい"が導かれる
7. 推論6から、仮説が否定される

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