このＩＳＤＮ回線は遠回りするししかも詳述する
fact1: 「このＩＳＤＮ回線は割れ難い」ということは成り立つ fact2: もしも「強盗する」ものがあるとすればこのＩＳＤＮ回線は省けるということはないがＭＭＣだ fact3: もし仮に「このＩＳＤＮ回線は割れ難い」ということは正しいならば遠回りする fact4: 「強盗する」物はある fact5: ＭＭＣは詳述する fact6: もしも「強盗する」物があるならこのＩＳＤＮ回線は省けない
fact4 & fact2 -> int1: このＩＳＤＮ回線は省けないがそれはＭＭＣである; int1 -> int2: 「このＩＳＤＮ回線はＭＭＣである」ということは確かである; fact5 -> int3: 「もしもこのＩＳＤＮ回線はＭＭＣであるとすれば「このＩＳＤＮ回線は詳述する」ということは確かだ」ということは本当だ; int2 & int3 -> int4: 「このＩＳＤＮ回線は詳述する」ということは本当である; fact1 & fact3 -> int5: このＩＳＤＮ回線は遠回りする; int4 & int5 -> hypothesis;
$facts$ = fact1: 「このＩＳＤＮ回線は割れ難い」ということは成り立つ fact2: もしも「強盗する」ものがあるとすればこのＩＳＤＮ回線は省けるということはないがＭＭＣだ fact3: もし仮に「このＩＳＤＮ回線は割れ難い」ということは正しいならば遠回りする fact4: 「強盗する」物はある fact5: ＭＭＣは詳述する fact6: もしも「強盗する」物があるならこのＩＳＤＮ回線は省けない ; $hypothesis$ = このＩＳＤＮ回線は遠回りするししかも詳述する ; $proof$ = 
fact4 & fact2 -> int1: このＩＳＤＮ回線は省けないがそれはＭＭＣである; int1 -> int2: 「このＩＳＤＮ回線はＭＭＣである」ということは確かである; fact5 -> int3: 「もしもこのＩＳＤＮ回線はＭＭＣであるとすれば「このＩＳＤＮ回線は詳述する」ということは確かだ」ということは本当だ; int2 & int3 -> int4: 「このＩＳＤＮ回線は詳述する」ということは本当である; fact1 & fact3 -> int5: このＩＳＤＮ回線は遠回りする; int4 & int5 -> hypothesis; __PROVED__
事実1: 「このＩＳＤＮ回線は割れ難い」ということは成り立つ
事実2: もしも「強盗する」ものがあるとすればこのＩＳＤＮ回線は省けるということはないがＭＭＣだ
事実3: もし仮に「このＩＳＤＮ回線は割れ難い」ということは正しいならば遠回りする
事実4: 「強盗する」物はある
事実5: ＭＭＣは詳述する
事実6: もしも「強盗する」物があるならこのＩＳＤＮ回線は省けない

仮説: このＩＳＤＮ回線は遠回りするししかも詳述する
1. 事実4と事実2から、推論1: "このＩＳＤＮ回線は省けないがそれはＭＭＣである"が導かれる
2. 推論1から、推論2: "「このＩＳＤＮ回線はＭＭＣである」ということは確かである"が導かれる
3. 事実5から、推論3: "「もしもこのＩＳＤＮ回線はＭＭＣであるとすれば「このＩＳＤＮ回線は詳述する」ということは確かだ」ということは本当だ"が導かれる
4. 推論2と推論3から、推論4: "「このＩＳＤＮ回線は詳述する」ということは本当である"が導かれる
5. 事実1と事実3から、推論5: "このＩＳＤＮ回線は遠回りする"が導かれる
6. 推論4と推論5から、仮説が導かれる

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