「その十つちゃんは運悪いしまたポリスだ」ということは偽だ
fact1: 何らかの物は日支でないなら見境無くない fact2: その祝賀パーティはルータ化する fact3: もしもその祝賀パーティは見境無いしポリスであるとしたらそれはルータ化するということはない fact4: 仮にその祝賀パーティがポリスでないとすればあの十つちゃんは運悪いし加えてそれはポリスである fact5: その祝賀パーティは日支だ fact6: その十つちゃんはポリスだ fact7: あの東横線はルータ化する fact8: 仮にその祝賀パーティは日支であるとすれば見境無い
fact8 & fact5 -> int1: その祝賀パーティは見境無い; void -> assump1: 以下のように仮定する。その祝賀パーティはポリスだ; int1 & assump1 -> int2: その祝賀パーティは見境無いし加えてポリスである; int2 & fact3 -> int3: その祝賀パーティはルータ化しない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その祝賀パーティはポリスでない; int5 & fact4 -> hypothesis;
その定期演奏会は見境無くない
fact9 -> int6: その定期演奏会が日支だということはないとするとそれは見境無くない;
$facts$ = fact1: 何らかの物は日支でないなら見境無くない fact2: その祝賀パーティはルータ化する fact3: もしもその祝賀パーティは見境無いしポリスであるとしたらそれはルータ化するということはない fact4: 仮にその祝賀パーティがポリスでないとすればあの十つちゃんは運悪いし加えてそれはポリスである fact5: その祝賀パーティは日支だ fact6: その十つちゃんはポリスだ fact7: あの東横線はルータ化する fact8: 仮にその祝賀パーティは日支であるとすれば見境無い ; $hypothesis$ = 「その十つちゃんは運悪いしまたポリスだ」ということは偽だ ; $proof$ = 
fact8 & fact5 -> int1: その祝賀パーティは見境無い; void -> assump1: 以下のように仮定する。その祝賀パーティはポリスだ; int1 & assump1 -> int2: その祝賀パーティは見境無いし加えてポリスである; int2 & fact3 -> int3: その祝賀パーティはルータ化しない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その祝賀パーティはポリスでない; int5 & fact4 -> hypothesis; __DISPROVED__
事実1: 何らかの物は日支でないなら見境無くない
事実2: その祝賀パーティはルータ化する
事実3: もしもその祝賀パーティは見境無いしポリスであるとしたらそれはルータ化するということはない
事実4: 仮にその祝賀パーティがポリスでないとすればあの十つちゃんは運悪いし加えてそれはポリスである
事実5: その祝賀パーティは日支だ
事実6: その十つちゃんはポリスだ
事実7: あの東横線はルータ化する
事実8: 仮にその祝賀パーティは日支であるとすれば見境無い

仮説: 「その十つちゃんは運悪いしまたポリスだ」ということは偽だ
1. 事実8と事実5から、推論1: "その祝賀パーティは見境無い"が導かれる
2. 仮定1: 以下のように仮定する。その祝賀パーティはポリスだ
3. 推論1と仮定1から、推論2: "その祝賀パーティは見境無いし加えてポリスである"が導かれる
4. 推論2と事実3から、推論3: "その祝賀パーティはルータ化しない"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その祝賀パーティはポリスでない"が導かれる
7. 推論5と事実4から、仮説が否定される

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