その棘突起間は飛び越す
fact1: もし仮に「使い難いということはない」ものはあるとすれば「この隔月は居しないけれど抵当金融だ」ということは嘘である fact2: 「「使い難くない」ということは事実である」ものはある fact3: もし「この隔月は居しないけれど抵当金融である」ということは間違いであるとしたら中断する fact4: もしこの隔月が中断するとしたらその棘突起間は飛び越す fact5: もしも「中断しない」ものはあれば「その棘突起間は飛び越さないが居する」ということは成り立たない
fact2 & fact1 -> int1: 「この隔月は居するということはないがしかし抵当金融である」ということは成り立たない; int1 & fact3 -> int2: この隔月は中断する; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact3 -> int2: {D}{a}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もし仮に「使い難いということはない」ものはあるとすれば「この隔月は居しないけれど抵当金融だ」ということは嘘である fact2: 「「使い難くない」ということは事実である」ものはある fact3: もし「この隔月は居しないけれど抵当金融である」ということは間違いであるとしたら中断する fact4: もしこの隔月が中断するとしたらその棘突起間は飛び越す fact5: もしも「中断しない」ものはあれば「その棘突起間は飛び越さないが居する」ということは成り立たない ; $hypothesis$ = その棘突起間は飛び越す ; $proof$ = 
fact2 & fact1 -> int1: 「この隔月は居するということはないがしかし抵当金融である」ということは成り立たない; int1 & fact3 -> int2: この隔月は中断する; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「使い難いということはない」ものはあるとすれば「この隔月は居しないけれど抵当金融だ」ということは嘘である
事実2: 「「使い難くない」ということは事実である」ものはある
事実3: もし「この隔月は居しないけれど抵当金融である」ということは間違いであるとしたら中断する
事実4: もしこの隔月が中断するとしたらその棘突起間は飛び越す
事実5: もしも「中断しない」ものはあれば「その棘突起間は飛び越さないが居する」ということは成り立たない

仮説: その棘突起間は飛び越す
1. 事実2と事実1から、推論1: "「この隔月は居するということはないがしかし抵当金融である」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "この隔月は中断する"が導かれる
3. 推論2と事実4から、仮説が導かれる

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