「この目標株価は塩っ辛くないが生活道だ」ということは確かでない
fact1: この災いは大名等である fact2: 仮に「この目標株価は大名等である」ということは正しいなら「この災いは生活道でないが塩っ辛い」ということは成り立たない fact3: 仮に「この目標株価は生活道だ」ということは正しいとすれば「この災いは大名等でないけど塩っ辛い」ということは成り立つということはない fact4: 仮にこの災いは大名等であるとしたら「この目標株価は塩っ辛くない一方で生活道だ」ということは誤りだ
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
$facts$ = fact1: この災いは大名等である fact2: 仮に「この目標株価は大名等である」ということは正しいなら「この災いは生活道でないが塩っ辛い」ということは成り立たない fact3: 仮に「この目標株価は生活道だ」ということは正しいとすれば「この災いは大名等でないけど塩っ辛い」ということは成り立つということはない fact4: 仮にこの災いは大名等であるとしたら「この目標株価は塩っ辛くない一方で生活道だ」ということは誤りだ ; $hypothesis$ = 「この目標株価は塩っ辛くないが生活道だ」ということは確かでない ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: この災いは大名等である
事実2: 仮に「この目標株価は大名等である」ということは正しいなら「この災いは生活道でないが塩っ辛い」ということは成り立たない
事実3: 仮に「この目標株価は生活道だ」ということは正しいとすれば「この災いは大名等でないけど塩っ辛い」ということは成り立つということはない
事実4: 仮にこの災いは大名等であるとしたら「この目標株価は塩っ辛くない一方で生活道だ」ということは誤りだ

仮説: 「この目標株価は塩っ辛くないが生活道だ」ということは確かでない
1. 事実4と事実1から、仮説が導かれる

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