その仮登記担保はブロードバンド時代だ
fact1: 「この体熱はしくじる」ということは成り立つとするとその仮登記担保はブロードバンド時代だ fact2: 「迂回しない」ものはある fact3: その仮登記担保は迂回する fact4: もしこの体熱がブロードバンド時代でないとしたらその仮登記担保は迂回するししくじる fact5: 「なんらかのものは迂回しない」ということは真実ならこの体熱はしくじる
fact2 & fact5 -> int1: この体熱はしくじる; int1 & fact1 -> hypothesis;
fact2 & fact5 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
その仮登記担保はしくじる
$facts$ = fact1: 「この体熱はしくじる」ということは成り立つとするとその仮登記担保はブロードバンド時代だ fact2: 「迂回しない」ものはある fact3: その仮登記担保は迂回する fact4: もしこの体熱がブロードバンド時代でないとしたらその仮登記担保は迂回するししくじる fact5: 「なんらかのものは迂回しない」ということは真実ならこの体熱はしくじる ; $hypothesis$ = その仮登記担保はブロードバンド時代だ ; $proof$ = 
fact2 & fact5 -> int1: この体熱はしくじる; int1 & fact1 -> hypothesis; __PROVED__
事実1: 「この体熱はしくじる」ということは成り立つとするとその仮登記担保はブロードバンド時代だ
事実2: 「迂回しない」ものはある
事実3: その仮登記担保は迂回する
事実4: もしこの体熱がブロードバンド時代でないとしたらその仮登記担保は迂回するししくじる
事実5: 「なんらかのものは迂回しない」ということは真実ならこの体熱はしくじる

仮説: その仮登記担保はブロードバンド時代だ
1. 事実2と事実5から、推論1: "この体熱はしくじる"が導かれる
2. 推論1と事実1から、仮説が導かれる

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