「その東市は南面しないししかもバンド構造でない」ということは成り立たない
fact1: 「ナーシングホームである」物はある fact2: もしナーシングホームが気付き易くないならその天下布武はバンド構造である fact3: その小学校高学年はナーシングホームだ fact4: 「ナーシングホームであるしさらに気付き易い」ものはある fact5: 「気付き易くない」物はある fact6: その小学校高学年はナーシングホームであるけど気付き易くない fact7: もし仮にその天下布武はバンド構造なら「その東市は南面しないけれどバンド構造だ」ということは成り立たない fact8: もしその天下布武はバンド構造だとしたら「その東市は南面するがそれはバンド構造でない」ということは嘘である fact9: もしもその天下布武はバンド構造なら「その東市は南面しなくてそれにバンド構造でない」ということは事実と異なる
fact6 -> int1: あるものはナーシングホームであるがそれは気付き易いということはない; int1 & fact2 -> int2: その天下布武はバンド構造だ; int2 & fact9 -> hypothesis;
fact6 -> int1: (Ex): ({A}x & ¬{B}x); int1 & fact2 -> int2: {C}{a}; int2 & fact9 -> hypothesis;
$facts$ = fact1: 「ナーシングホームである」物はある fact2: もしナーシングホームが気付き易くないならその天下布武はバンド構造である fact3: その小学校高学年はナーシングホームだ fact4: 「ナーシングホームであるしさらに気付き易い」ものはある fact5: 「気付き易くない」物はある fact6: その小学校高学年はナーシングホームであるけど気付き易くない fact7: もし仮にその天下布武はバンド構造なら「その東市は南面しないけれどバンド構造だ」ということは成り立たない fact8: もしその天下布武はバンド構造だとしたら「その東市は南面するがそれはバンド構造でない」ということは嘘である fact9: もしもその天下布武はバンド構造なら「その東市は南面しなくてそれにバンド構造でない」ということは事実と異なる ; $hypothesis$ = 「その東市は南面しないししかもバンド構造でない」ということは成り立たない ; $proof$ = 
fact6 -> int1: あるものはナーシングホームであるがそれは気付き易いということはない; int1 & fact2 -> int2: その天下布武はバンド構造だ; int2 & fact9 -> hypothesis; __PROVED__
事実1: 「ナーシングホームである」物はある
事実2: もしナーシングホームが気付き易くないならその天下布武はバンド構造である
事実3: その小学校高学年はナーシングホームだ
事実4: 「ナーシングホームであるしさらに気付き易い」ものはある
事実5: 「気付き易くない」物はある
事実6: その小学校高学年はナーシングホームであるけど気付き易くない
事実7: もし仮にその天下布武はバンド構造なら「その東市は南面しないけれどバンド構造だ」ということは成り立たない
事実8: もしその天下布武はバンド構造だとしたら「その東市は南面するがそれはバンド構造でない」ということは嘘である
事実9: もしもその天下布武はバンド構造なら「その東市は南面しなくてそれにバンド構造でない」ということは事実と異なる

仮説: 「その東市は南面しないししかもバンド構造でない」ということは成り立たない
1. 事実6から、推論1: "あるものはナーシングホームであるがそれは気付き易いということはない"が導かれる
2. 推論1と事実2から、推論2: "その天下布武はバンド構造だ"が導かれる
3. 推論2と事実9から、仮説が導かれる

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