「仮にあのハッチングが御勧めないとするとこの婆やは温泉町でない」ということは偽である
fact1: この東京都教育委員会は低アルブミン血症である一方でそれはバロンでない fact2: この婆やは公式発表しない fact3: もし「「あのハッチングは意識化出来るけれど公式発表しない」ということは確かである」ということは間違いであるとすると「この婆やは温泉町でない」ということは成り立つ fact4: この婆やは温泉町である fact5: あのハッチングは公式発表するということはない fact6: もし仮にあのハッチングは意識化出来るししかも公式発表するなら「御勧める」ということは成り立つ fact7: あの堕落は意識化出来ない fact8: もし仮にあのハッチングが温泉町でないならばこの婆やは御勧めるということはない fact9: この婆やは温泉町だ一方でそれは手振りでない fact10: あのハッチングが御勧めないならこの婆やは温泉町である fact11: 「この婆やは公式発表するけれど意識化出来ない」ということは成り立つということはないならばあのハッチングは温泉町でない fact12: もしもとあるものは意識化出来るが公式発表しないとするとそれは御勧める fact13: あのハッチングが公式発表するならばあの婆やは温泉町でない fact14: 「あのハッチングは意識化出来るし公式発表する」ということは事実でない fact15: 仮にこの婆やが意識化出来ればあのハッチングは温泉町でない fact16: あの集落内壮年人口別は御勧める
fact12 -> int1: もしもあのハッチングが意識化出来るけど公式発表しないとしたら御勧める; void -> assump2: 以下のように仮定する。あのハッチングは意識化出来るけれどそれは公式発表しない; int1 & assump2 -> int2: あのハッチングは御勧める; void -> assump1: 以下のように仮定する。あのハッチングは御勧めない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あのハッチングは意識化出来る一方でそれは公式発表しない」ということは誤りである; int4 & fact3 -> int5: 「この婆やは温泉町でない」ということは本当だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: この東京都教育委員会は低アルブミン血症である一方でそれはバロンでない fact2: この婆やは公式発表しない fact3: もし「「あのハッチングは意識化出来るけれど公式発表しない」ということは確かである」ということは間違いであるとすると「この婆やは温泉町でない」ということは成り立つ fact4: この婆やは温泉町である fact5: あのハッチングは公式発表するということはない fact6: もし仮にあのハッチングは意識化出来るししかも公式発表するなら「御勧める」ということは成り立つ fact7: あの堕落は意識化出来ない fact8: もし仮にあのハッチングが温泉町でないならばこの婆やは御勧めるということはない fact9: この婆やは温泉町だ一方でそれは手振りでない fact10: あのハッチングが御勧めないならこの婆やは温泉町である fact11: 「この婆やは公式発表するけれど意識化出来ない」ということは成り立つということはないならばあのハッチングは温泉町でない fact12: もしもとあるものは意識化出来るが公式発表しないとするとそれは御勧める fact13: あのハッチングが公式発表するならばあの婆やは温泉町でない fact14: 「あのハッチングは意識化出来るし公式発表する」ということは事実でない fact15: 仮にこの婆やが意識化出来ればあのハッチングは温泉町でない fact16: あの集落内壮年人口別は御勧める ; $hypothesis$ = 「仮にあのハッチングが御勧めないとするとこの婆やは温泉町でない」ということは偽である ; $proof$ = 
fact12 -> int1: もしもあのハッチングが意識化出来るけど公式発表しないとしたら御勧める; void -> assump2: 以下のように仮定する。あのハッチングは意識化出来るけれどそれは公式発表しない; int1 & assump2 -> int2: あのハッチングは御勧める; void -> assump1: 以下のように仮定する。あのハッチングは御勧めない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あのハッチングは意識化出来る一方でそれは公式発表しない」ということは誤りである; int4 & fact3 -> int5: 「この婆やは温泉町でない」ということは本当だ; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この東京都教育委員会は低アルブミン血症である一方でそれはバロンでない
事実2: この婆やは公式発表しない
事実3: もし「「あのハッチングは意識化出来るけれど公式発表しない」ということは確かである」ということは間違いであるとすると「この婆やは温泉町でない」ということは成り立つ
事実4: この婆やは温泉町である
事実5: あのハッチングは公式発表するということはない
事実6: もし仮にあのハッチングは意識化出来るししかも公式発表するなら「御勧める」ということは成り立つ
事実7: あの堕落は意識化出来ない
事実8: もし仮にあのハッチングが温泉町でないならばこの婆やは御勧めるということはない
事実9: この婆やは温泉町だ一方でそれは手振りでない
事実10: あのハッチングが御勧めないならこの婆やは温泉町である
事実11: 「この婆やは公式発表するけれど意識化出来ない」ということは成り立つということはないならばあのハッチングは温泉町でない
事実12: もしもとあるものは意識化出来るが公式発表しないとするとそれは御勧める
事実13: あのハッチングが公式発表するならばあの婆やは温泉町でない
事実14: 「あのハッチングは意識化出来るし公式発表する」ということは事実でない
事実15: 仮にこの婆やが意識化出来ればあのハッチングは温泉町でない
事実16: あの集落内壮年人口別は御勧める

仮説: 「仮にあのハッチングが御勧めないとするとこの婆やは温泉町でない」ということは偽である
1. 事実12から、推論1: "もしもあのハッチングが意識化出来るけど公式発表しないとしたら御勧める"が導かれる
2. 仮定2: 以下のように仮定する。あのハッチングは意識化出来るけれどそれは公式発表しない
3. 推論1と仮定2から、推論2: "あのハッチングは御勧める"が導かれる
4. 仮定1: 以下のように仮定する。あのハッチングは御勧めない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「あのハッチングは意識化出来る一方でそれは公式発表しない」ということは誤りである"が導かれる
7. 推論4と事実3から、推論5: "「この婆やは温泉町でない」ということは本当だ"が導かれる
8. [仮定1]と推論5から、仮説が否定される

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