あの三時半は東京・大阪だということはない
fact1: そのジェットは納得する fact2: あるものが納得するしその上それが代弁するとするとこの地域分布はＡ罪でない fact3: もしもなにかは代弁しないとすると「納得するししかも東京・大阪だ」ということは誤りだ fact4: もし仮にそのジェットが代弁するということはないならあの三時半は代弁するししかも東京・大阪だ fact5: この地域分布はＡ罪である fact6: その最終曲げ代は納得する
void -> assump1: 以下のように仮定する。そのジェットは代弁する; fact1 & assump1 -> int1: そのジェットは納得するしそれは代弁する; int1 -> int2: 「納得するし代弁する」ものはある; int2 & fact2 -> int3: この地域分布はＡ罪でない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのジェットは代弁しない」ということは真実だ; int5 & fact4 -> int6: あの三時半は代弁するし更にそれは東京・大阪だ; int6 -> hypothesis;
あの三時半は東京・大阪でない
fact7 -> int7: あの三時半は代弁しないとすれば「納得するしその上東京・大阪だ」ということは誤りである;
$facts$ = fact1: そのジェットは納得する fact2: あるものが納得するしその上それが代弁するとするとこの地域分布はＡ罪でない fact3: もしもなにかは代弁しないとすると「納得するししかも東京・大阪だ」ということは誤りだ fact4: もし仮にそのジェットが代弁するということはないならあの三時半は代弁するししかも東京・大阪だ fact5: この地域分布はＡ罪である fact6: その最終曲げ代は納得する ; $hypothesis$ = あの三時半は東京・大阪だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのジェットは代弁する; fact1 & assump1 -> int1: そのジェットは納得するしそれは代弁する; int1 -> int2: 「納得するし代弁する」ものはある; int2 & fact2 -> int3: この地域分布はＡ罪でない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「そのジェットは代弁しない」ということは真実だ; int5 & fact4 -> int6: あの三時半は代弁するし更にそれは東京・大阪だ; int6 -> hypothesis; __DISPROVED__
事実1: そのジェットは納得する
事実2: あるものが納得するしその上それが代弁するとするとこの地域分布はＡ罪でない
事実3: もしもなにかは代弁しないとすると「納得するししかも東京・大阪だ」ということは誤りだ
事実4: もし仮にそのジェットが代弁するということはないならあの三時半は代弁するししかも東京・大阪だ
事実5: この地域分布はＡ罪である
事実6: その最終曲げ代は納得する

仮説: あの三時半は東京・大阪だということはない
1. 仮定1: 以下のように仮定する。そのジェットは代弁する
2. 事実1と仮定1から、推論1: "そのジェットは納得するしそれは代弁する"が導かれる
3. 推論1から、推論2: "「納得するし代弁する」ものはある"が導かれる
4. 推論2と事実2から、推論3: "この地域分布はＡ罪でない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「そのジェットは代弁しない」ということは真実だ"が導かれる
7. 推論5と事実4から、推論6: "あの三時半は代弁するし更にそれは東京・大阪だ"が導かれる
8. 推論6から、仮説が否定される

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