あのシティ・オブ・グラスはパターン化するということはないか弱々しいかあるいは両方ともである
fact1: あのシティ・オブ・グラスは弱々しかない fact2: あの総売り上げは弱々しかないなら「あのシティ・オブ・グラスはパターン化しないかあるいはそれは弱々しいかどちらもである」ということは成り立つということはない fact3: もしもあの総売り上げが名嘉間村であるかあるいは上げ出すかあるいは両方ともなら「それは弱々しかない」ということは真実である fact4: 「あの総売り上げは上げ出す」ということは本当だ fact5: あのシティ・オブ・グラスは夫婦らしいかまたは性分らしいかもしくは両方である fact6: もし仮にあの総売り上げが弱々しかないとするとあのシティ・オブ・グラスは弱々しいということはない fact7: 「名嘉間村はパターン化するということはないかもしくは弱々しいかあるいは両方ともだ」ということは成り立つ fact8: この個人専用は上げ出す fact9: あの総売り上げはパターン化しないとすれば「あのシティ・オブ・グラスは弱々しいということはないかまたはそれはパターン化するかまたはどちらもだ」ということは成り立たない fact10: 「もし仮にあのシティ・オブ・グラスが弱々しいかまたは名嘉間村であるかまたは両方であるとすればあのシティ・オブ・グラスはパターン化しない」ということは確かだ fact11: もしもあのシティ・オブ・グラスが撤回出来ないとすればそれは名嘉間村でないしそれは上げ出す fact12: 仮に「「あの総売り上げは名嘉間村であるということはない」ということは正しい」ということは間違っているならそれは弱々しかない
fact4 -> int1: あの総売り上げは名嘉間村であるかまたは上げ出すかまたは両方ともである; int1 & fact3 -> int2: あの総売り上げは弱々しかない; int2 & fact2 -> hypothesis;
あのシティ・オブ・グラスはパターン化しないか弱々しいかもしくは両方である
$facts$ = fact1: あのシティ・オブ・グラスは弱々しかない fact2: あの総売り上げは弱々しかないなら「あのシティ・オブ・グラスはパターン化しないかあるいはそれは弱々しいかどちらもである」ということは成り立つということはない fact3: もしもあの総売り上げが名嘉間村であるかあるいは上げ出すかあるいは両方ともなら「それは弱々しかない」ということは真実である fact4: 「あの総売り上げは上げ出す」ということは本当だ fact5: あのシティ・オブ・グラスは夫婦らしいかまたは性分らしいかもしくは両方である fact6: もし仮にあの総売り上げが弱々しかないとするとあのシティ・オブ・グラスは弱々しいということはない fact7: 「名嘉間村はパターン化するということはないかもしくは弱々しいかあるいは両方ともだ」ということは成り立つ fact8: この個人専用は上げ出す fact9: あの総売り上げはパターン化しないとすれば「あのシティ・オブ・グラスは弱々しいということはないかまたはそれはパターン化するかまたはどちらもだ」ということは成り立たない fact10: 「もし仮にあのシティ・オブ・グラスが弱々しいかまたは名嘉間村であるかまたは両方であるとすればあのシティ・オブ・グラスはパターン化しない」ということは確かだ fact11: もしもあのシティ・オブ・グラスが撤回出来ないとすればそれは名嘉間村でないしそれは上げ出す fact12: 仮に「「あの総売り上げは名嘉間村であるということはない」ということは正しい」ということは間違っているならそれは弱々しかない ; $hypothesis$ = あのシティ・オブ・グラスはパターン化するということはないか弱々しいかあるいは両方ともである ; $proof$ = 
fact4 -> int1: あの総売り上げは名嘉間村であるかまたは上げ出すかまたは両方ともである; int1 & fact3 -> int2: あの総売り上げは弱々しかない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あのシティ・オブ・グラスは弱々しかない
事実2: あの総売り上げは弱々しかないなら「あのシティ・オブ・グラスはパターン化しないかあるいはそれは弱々しいかどちらもである」ということは成り立つということはない
事実3: もしもあの総売り上げが名嘉間村であるかあるいは上げ出すかあるいは両方ともなら「それは弱々しかない」ということは真実である
事実4: 「あの総売り上げは上げ出す」ということは本当だ
事実5: あのシティ・オブ・グラスは夫婦らしいかまたは性分らしいかもしくは両方である
事実6: もし仮にあの総売り上げが弱々しかないとするとあのシティ・オブ・グラスは弱々しいということはない
事実7: 「名嘉間村はパターン化するということはないかもしくは弱々しいかあるいは両方ともだ」ということは成り立つ
事実8: この個人専用は上げ出す
事実9: あの総売り上げはパターン化しないとすれば「あのシティ・オブ・グラスは弱々しいということはないかまたはそれはパターン化するかまたはどちらもだ」ということは成り立たない
事実10: 「もし仮にあのシティ・オブ・グラスが弱々しいかまたは名嘉間村であるかまたは両方であるとすればあのシティ・オブ・グラスはパターン化しない」ということは確かだ
事実11: もしもあのシティ・オブ・グラスが撤回出来ないとすればそれは名嘉間村でないしそれは上げ出す
事実12: 仮に「「あの総売り上げは名嘉間村であるということはない」ということは正しい」ということは間違っているならそれは弱々しかない

仮説: あのシティ・オブ・グラスはパターン化するということはないか弱々しいかあるいは両方ともである
1. 事実4から、推論1: "あの総売り上げは名嘉間村であるかまたは上げ出すかまたは両方ともである"が導かれる
2. 推論1と事実3から、推論2: "あの総売り上げは弱々しかない"が導かれる
3. 推論2と事実2から、仮説が否定される

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