あの間接事実は十市姫御子である
fact1: もしその座面高が世の中であるということはないかそれが大損するか両方ともであるとすればあの間接事実は十市姫御子であるということはない fact2: そのトロンボーン奏者は実施計画書だ fact3: その座面高は十市姫御子であるとすれば「あの間接事実は十市姫御子だ」ということは事実だ fact4: この転炉はチャンチャコチャンだということはない fact5: もし「そのトロンボーン奏者は遅ししそれに大損する」ということは間違いであるならば「その座面高は遅しということはない」ということは成り立つ fact6: 仮にその座面高が世の中ならば浄化槽法だ fact7: その座面高が遅ししさらにそれが浄化槽法ならばそのトロンボーン奏者は実施計画書でない fact8: もしもその座面高は大損するとしたら「あの間接事実は十市姫御子だということはない」ということは事実である fact9: もし仮にそのトロンボーン奏者は大損しないとしたら「それは遅し一方で実施計画書でない」ということは偽だ fact10: もしもそのトロンボーン奏者が浄化槽法でないとすればその座面高は世の中でそれに十市姫御子である fact11: あの間接事実は実施計画書でないとすれば「そのトロンボーン奏者は遅しし更に大損する」ということは事実と異なる fact12: そのトロンボーン奏者は世の中である fact13: もしもあの間接事実は大損すれば「その座面高は十市姫御子でない」ということは確かである fact14: その座面高が世の中であるしまた十市姫御子だとしたらあの間接事実は大損しない fact15: その座面高は遅し fact16: もしも何らかのものは下接するけれどチャンチャコチャンでないとすると個人主義だ fact17: あの間接事実はドライブＤでない fact18: もしとあるものは個人主義ならば「それは大損するけれど応じない」ということは嘘だ fact19: もし仮にその座面高が遅しということはないとしたらこの好き好き感情は世の中であるし浄化槽法である fact20: この転炉は下接する
void -> assump1: 以下のように仮定する。その座面高は世の中だ; fact6 & assump1 -> int1: その座面高は浄化槽法だ; int1 & fact15 -> int2: その座面高は遅しし更に浄化槽法だ; int2 & fact7 -> int3: そのトロンボーン奏者は実施計画書でない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その座面高は世の中でない; int5 -> int6: その座面高は世の中でないか大損するかもしくは両方ともである; int6 & fact1 -> hypothesis;
あの間接事実は十市姫御子だ
fact21 -> int7: もしも「この転炉は個人主義だ」ということは真実であるならば「それは大損するがしかし応じない」ということは嘘である; fact25 -> int8: 仮にこの転炉が下接するけどそれがチャンチャコチャンでないとすれば個人主義である; fact22 & fact23 -> int9: この転炉は下接するがそれはチャンチャコチャンでない; int8 & int9 -> int10: この転炉は個人主義だ; int7 & int10 -> int11: 「この転炉は大損するがそれは応じない」ということは成り立たない; int11 -> int12: 「「大損するがしかし応じない」ということは本当でない」物はある;
$facts$ = fact1: もしその座面高が世の中であるということはないかそれが大損するか両方ともであるとすればあの間接事実は十市姫御子であるということはない fact2: そのトロンボーン奏者は実施計画書だ fact3: その座面高は十市姫御子であるとすれば「あの間接事実は十市姫御子だ」ということは事実だ fact4: この転炉はチャンチャコチャンだということはない fact5: もし「そのトロンボーン奏者は遅ししそれに大損する」ということは間違いであるならば「その座面高は遅しということはない」ということは成り立つ fact6: 仮にその座面高が世の中ならば浄化槽法だ fact7: その座面高が遅ししさらにそれが浄化槽法ならばそのトロンボーン奏者は実施計画書でない fact8: もしもその座面高は大損するとしたら「あの間接事実は十市姫御子だということはない」ということは事実である fact9: もし仮にそのトロンボーン奏者は大損しないとしたら「それは遅し一方で実施計画書でない」ということは偽だ fact10: もしもそのトロンボーン奏者が浄化槽法でないとすればその座面高は世の中でそれに十市姫御子である fact11: あの間接事実は実施計画書でないとすれば「そのトロンボーン奏者は遅しし更に大損する」ということは事実と異なる fact12: そのトロンボーン奏者は世の中である fact13: もしもあの間接事実は大損すれば「その座面高は十市姫御子でない」ということは確かである fact14: その座面高が世の中であるしまた十市姫御子だとしたらあの間接事実は大損しない fact15: その座面高は遅し fact16: もしも何らかのものは下接するけれどチャンチャコチャンでないとすると個人主義だ fact17: あの間接事実はドライブＤでない fact18: もしとあるものは個人主義ならば「それは大損するけれど応じない」ということは嘘だ fact19: もし仮にその座面高が遅しということはないとしたらこの好き好き感情は世の中であるし浄化槽法である fact20: この転炉は下接する ; $hypothesis$ = あの間接事実は十市姫御子である ; $proof$ = 
void -> assump1: 以下のように仮定する。その座面高は世の中だ; fact6 & assump1 -> int1: その座面高は浄化槽法だ; int1 & fact15 -> int2: その座面高は遅しし更に浄化槽法だ; int2 & fact7 -> int3: そのトロンボーン奏者は実施計画書でない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その座面高は世の中でない; int5 -> int6: その座面高は世の中でないか大損するかもしくは両方ともである; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: もしその座面高が世の中であるということはないかそれが大損するか両方ともであるとすればあの間接事実は十市姫御子であるということはない
事実2: そのトロンボーン奏者は実施計画書だ
事実3: その座面高は十市姫御子であるとすれば「あの間接事実は十市姫御子だ」ということは事実だ
事実4: この転炉はチャンチャコチャンだということはない
事実5: もし「そのトロンボーン奏者は遅ししそれに大損する」ということは間違いであるならば「その座面高は遅しということはない」ということは成り立つ
事実6: 仮にその座面高が世の中ならば浄化槽法だ
事実7: その座面高が遅ししさらにそれが浄化槽法ならばそのトロンボーン奏者は実施計画書でない
事実8: もしもその座面高は大損するとしたら「あの間接事実は十市姫御子だということはない」ということは事実である
事実9: もし仮にそのトロンボーン奏者は大損しないとしたら「それは遅し一方で実施計画書でない」ということは偽だ
事実10: もしもそのトロンボーン奏者が浄化槽法でないとすればその座面高は世の中でそれに十市姫御子である
事実11: あの間接事実は実施計画書でないとすれば「そのトロンボーン奏者は遅しし更に大損する」ということは事実と異なる
事実12: そのトロンボーン奏者は世の中である
事実13: もしもあの間接事実は大損すれば「その座面高は十市姫御子でない」ということは確かである
事実14: その座面高が世の中であるしまた十市姫御子だとしたらあの間接事実は大損しない
事実15: その座面高は遅し
事実16: もしも何らかのものは下接するけれどチャンチャコチャンでないとすると個人主義だ
事実17: あの間接事実はドライブＤでない
事実18: もしとあるものは個人主義ならば「それは大損するけれど応じない」ということは嘘だ
事実19: もし仮にその座面高が遅しということはないとしたらこの好き好き感情は世の中であるし浄化槽法である
事実20: この転炉は下接する

仮説: あの間接事実は十市姫御子である
1. 仮定1: 以下のように仮定する。その座面高は世の中だ
2. 事実6と仮定1から、推論1: "その座面高は浄化槽法だ"が導かれる
3. 推論1と事実15から、推論2: "その座面高は遅しし更に浄化槽法だ"が導かれる
4. 推論2と事実7から、推論3: "そのトロンボーン奏者は実施計画書でない"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その座面高は世の中でない"が導かれる
7. 推論5から、推論6: "その座面高は世の中でないか大損するかもしくは両方ともである"が導かれる
8. 推論6と事実1から、仮説が否定される

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