そのローマ字表記はコーナー連結する
fact1: そのローマ字表記は具する fact2: 仮にこの平均毎時が具するということはないとするとそのローマ字表記は具するしそれにコーナー連結する fact3: もし仮にあの変わり目が確立者でないとするとこの平均毎時は具しない fact4: あの変わり目は確立者でない fact5: もしこの平均毎時が具しないならばあのローマ字表記は具する
fact3 & fact4 -> int1: この平均毎時は具しない; int1 & fact2 -> int2: そのローマ字表記は具するしさらにそれはコーナー連結する; int2 -> hypothesis;
$facts$ = fact1: そのローマ字表記は具する fact2: 仮にこの平均毎時が具するということはないとするとそのローマ字表記は具するしそれにコーナー連結する fact3: もし仮にあの変わり目が確立者でないとするとこの平均毎時は具しない fact4: あの変わり目は確立者でない fact5: もしこの平均毎時が具しないならばあのローマ字表記は具する ; $hypothesis$ = そのローマ字表記はコーナー連結する ; $proof$ = 
fact3 & fact4 -> int1: この平均毎時は具しない; int1 & fact2 -> int2: そのローマ字表記は具するしさらにそれはコーナー連結する; int2 -> hypothesis; __PROVED__
事実1: そのローマ字表記は具する
事実2: 仮にこの平均毎時が具するということはないとするとそのローマ字表記は具するしそれにコーナー連結する
事実3: もし仮にあの変わり目が確立者でないとするとこの平均毎時は具しない
事実4: あの変わり目は確立者でない
事実5: もしこの平均毎時が具しないならばあのローマ字表記は具する

仮説: そのローマ字表記はコーナー連結する
1. 事実3と事実4から、推論1: "この平均毎時は具しない"が導かれる
2. 推論1と事実2から、推論2: "そのローマ字表記は具するしさらにそれはコーナー連結する"が導かれる
3. 推論2から、仮説が導かれる

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