「この南北朝期は捻挫しない」ということは成り立つ
fact1: その台帳は捻挫するし冒険出来る fact2: その上昇志向は採用出来る fact3: その上昇志向は採用出来るし元夫である fact4: その台帳は搭乗する fact5: このネットワーク名は搭乗する fact6: もしその台帳が搭乗すればその上昇志向は卑賤視する fact7: その上昇志向が卑賤視するししかも元夫だとしたらこの南北朝期は捻挫しない
fact6 & fact4 -> int1: その上昇志向は卑賤視する; fact3 -> int2: 「その上昇志向は元夫でない」ということは間違いだ; int1 & int2 -> int3: その上昇志向は卑賤視するし更にそれは元夫である; int3 & fact7 -> hypothesis;
$facts$ = fact1: その台帳は捻挫するし冒険出来る fact2: その上昇志向は採用出来る fact3: その上昇志向は採用出来るし元夫である fact4: その台帳は搭乗する fact5: このネットワーク名は搭乗する fact6: もしその台帳が搭乗すればその上昇志向は卑賤視する fact7: その上昇志向が卑賤視するししかも元夫だとしたらこの南北朝期は捻挫しない ; $hypothesis$ = 「この南北朝期は捻挫しない」ということは成り立つ ; $proof$ = 
fact6 & fact4 -> int1: その上昇志向は卑賤視する; fact3 -> int2: 「その上昇志向は元夫でない」ということは間違いだ; int1 & int2 -> int3: その上昇志向は卑賤視するし更にそれは元夫である; int3 & fact7 -> hypothesis; __PROVED__
事実1: その台帳は捻挫するし冒険出来る
事実2: その上昇志向は採用出来る
事実3: その上昇志向は採用出来るし元夫である
事実4: その台帳は搭乗する
事実5: このネットワーク名は搭乗する
事実6: もしその台帳が搭乗すればその上昇志向は卑賤視する
事実7: その上昇志向が卑賤視するししかも元夫だとしたらこの南北朝期は捻挫しない

仮説: 「この南北朝期は捻挫しない」ということは成り立つ
1. 事実6と事実4から、推論1: "その上昇志向は卑賤視する"が導かれる
2. 事実3から、推論2: "「その上昇志向は元夫でない」ということは間違いだ"が導かれる
3. 推論1と推論2から、推論3: "その上昇志向は卑賤視するし更にそれは元夫である"が導かれる
4. 推論3と事実7から、仮説が導かれる

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