「「「ポップアップリストであるということはない一方でゴーストハンターである」ということは嘘な」ものはある」ということは誤りだ
fact1: 「この逃散はポップアップリストで更にゴーストハンターである」ということは偽である fact2: もしこの逃散はオーナーサイドだとすれば「それは出易くない」ということは事実だ fact3: このスラム街は材料製造だ fact4: 仮に「何らかのものはオーナーサイドでないが田中家文書だ」ということは成り立たないとすればそれは出易いということはない fact5: 仮になにがしかのものは出易くないならば「ポップアップリストだということはないしさらにゴーストハンターである」ということは間違いである fact6: もしもある物は材料製造だとすると「涙脆くなくてかつ輻湊ウィンドウである」ということは成り立たない fact7: 「あの抗炎症作用は因り難くてまたゴーストハンターだ」ということは間違っている fact8: 「ポップアップリストだということはなくてそれにゴーストハンターな」物はある fact9: もしこのスラム街は材料製造であるとしたら「この逃散がオーナーサイドだししかも田中家文書だ」ということは偽だ fact10: 「「小学生以下であるしまた熱っぽい」ということは確かでない」ものはある fact11: 「「ポップアップリストであるし更にゴーストハンターである」ということは間違いな」ものはある fact12: 「この逃散は出易くない」ということは本当であるならば「それはポップアップリストであるししかもそれはゴーストハンターである」ということは間違っている fact13: 「この逃散はオーナーサイドでその上田中家文書である」ということは成り立たない fact14: もしこのスラム街は材料製造であるとしたら「この逃散はオーナーサイドだということはないが田中家文書だ」ということは成り立たない
fact14 & fact3 -> int1: 「この逃散はオーナーサイドでないけれど田中家文書だ」ということは成り立たない; fact4 -> int2: 仮に「この逃散はオーナーサイドでない一方でそれは田中家文書である」ということは偽だとしたら出易くない; int1 & int2 -> int3: この逃散は出易くない; fact5 -> int4: もしもこの逃散は出易くないとしたら「それはポップアップリストでないしおまけにそれはゴーストハンターだ」ということは誤りだ; int3 & int4 -> int5: 「この逃散はポップアップリストでない一方でゴーストハンターだ」ということは成り立たない; int5 -> hypothesis;
「この逃散は涙脆いということはないが輻湊ウィンドウだ」ということは成り立つということはない
fact15 -> int6: もし仮にこの逃散は材料製造であるとすれば「それは涙脆くないがしかし輻湊ウィンドウである」ということは誤っている;
$facts$ = fact1: 「この逃散はポップアップリストで更にゴーストハンターである」ということは偽である fact2: もしこの逃散はオーナーサイドだとすれば「それは出易くない」ということは事実だ fact3: このスラム街は材料製造だ fact4: 仮に「何らかのものはオーナーサイドでないが田中家文書だ」ということは成り立たないとすればそれは出易いということはない fact5: 仮になにがしかのものは出易くないならば「ポップアップリストだということはないしさらにゴーストハンターである」ということは間違いである fact6: もしもある物は材料製造だとすると「涙脆くなくてかつ輻湊ウィンドウである」ということは成り立たない fact7: 「あの抗炎症作用は因り難くてまたゴーストハンターだ」ということは間違っている fact8: 「ポップアップリストだということはなくてそれにゴーストハンターな」物はある fact9: もしこのスラム街は材料製造であるとしたら「この逃散がオーナーサイドだししかも田中家文書だ」ということは偽だ fact10: 「「小学生以下であるしまた熱っぽい」ということは確かでない」ものはある fact11: 「「ポップアップリストであるし更にゴーストハンターである」ということは間違いな」ものはある fact12: 「この逃散は出易くない」ということは本当であるならば「それはポップアップリストであるししかもそれはゴーストハンターである」ということは間違っている fact13: 「この逃散はオーナーサイドでその上田中家文書である」ということは成り立たない fact14: もしこのスラム街は材料製造であるとしたら「この逃散はオーナーサイドだということはないが田中家文書だ」ということは成り立たない ; $hypothesis$ = 「「「ポップアップリストであるということはない一方でゴーストハンターである」ということは嘘な」ものはある」ということは誤りだ ; $proof$ = 
fact14 & fact3 -> int1: 「この逃散はオーナーサイドでないけれど田中家文書だ」ということは成り立たない; fact4 -> int2: 仮に「この逃散はオーナーサイドでない一方でそれは田中家文書である」ということは偽だとしたら出易くない; int1 & int2 -> int3: この逃散は出易くない; fact5 -> int4: もしもこの逃散は出易くないとしたら「それはポップアップリストでないしおまけにそれはゴーストハンターだ」ということは誤りだ; int3 & int4 -> int5: 「この逃散はポップアップリストでない一方でゴーストハンターだ」ということは成り立たない; int5 -> hypothesis; __DISPROVED__
事実1: 「この逃散はポップアップリストで更にゴーストハンターである」ということは偽である
事実2: もしこの逃散はオーナーサイドだとすれば「それは出易くない」ということは事実だ
事実3: このスラム街は材料製造だ
事実4: 仮に「何らかのものはオーナーサイドでないが田中家文書だ」ということは成り立たないとすればそれは出易いということはない
事実5: 仮になにがしかのものは出易くないならば「ポップアップリストだということはないしさらにゴーストハンターである」ということは間違いである
事実6: もしもある物は材料製造だとすると「涙脆くなくてかつ輻湊ウィンドウである」ということは成り立たない
事実7: 「あの抗炎症作用は因り難くてまたゴーストハンターだ」ということは間違っている
事実8: 「ポップアップリストだということはなくてそれにゴーストハンターな」物はある
事実9: もしこのスラム街は材料製造であるとしたら「この逃散がオーナーサイドだししかも田中家文書だ」ということは偽だ
事実10: 「「小学生以下であるしまた熱っぽい」ということは確かでない」ものはある
事実11: 「「ポップアップリストであるし更にゴーストハンターである」ということは間違いな」ものはある
事実12: 「この逃散は出易くない」ということは本当であるならば「それはポップアップリストであるししかもそれはゴーストハンターである」ということは間違っている
事実13: 「この逃散はオーナーサイドでその上田中家文書である」ということは成り立たない
事実14: もしこのスラム街は材料製造であるとしたら「この逃散はオーナーサイドだということはないが田中家文書だ」ということは成り立たない

仮説: 「「「ポップアップリストであるということはない一方でゴーストハンターである」ということは嘘な」ものはある」ということは誤りだ
1. 事実14と事実3から、推論1: "「この逃散はオーナーサイドでないけれど田中家文書だ」ということは成り立たない"が導かれる
2. 事実4から、推論2: "仮に「この逃散はオーナーサイドでない一方でそれは田中家文書である」ということは偽だとしたら出易くない"が導かれる
3. 推論1と推論2から、推論3: "この逃散は出易くない"が導かれる
4. 事実5から、推論4: "もしもこの逃散は出易くないとしたら「それはポップアップリストでないしおまけにそれはゴーストハンターだ」ということは誤りだ"が導かれる
5. 推論3と推論4から、推論5: "「この逃散はポップアップリストでない一方でゴーストハンターだ」ということは成り立たない"が導かれる
6. 推論5から、仮説が否定される

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