「あのヘルニアは手厚いかあるいはそれは進み易くないかもしくは両方ともである」ということは偽である
fact1: もしもその特集号は取り調べるとしたら「あのヘルニアは手厚いかもしくは進み易くないかまたは両方ともである」ということは成り立たない fact2: あのヘルニアは進み易い fact3: もし仮にその特集号は手厚いならば「あのヘルニアは進み易いかそれは取り調べない」ということは嘘だ fact4: 仮にその特集号が取り調べるとしたらあのヘルニアは進み易い fact5: その特集号は取り調べる
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
$facts$ = fact1: もしもその特集号は取り調べるとしたら「あのヘルニアは手厚いかもしくは進み易くないかまたは両方ともである」ということは成り立たない fact2: あのヘルニアは進み易い fact3: もし仮にその特集号は手厚いならば「あのヘルニアは進み易いかそれは取り調べない」ということは嘘だ fact4: 仮にその特集号が取り調べるとしたらあのヘルニアは進み易い fact5: その特集号は取り調べる ; $hypothesis$ = 「あのヘルニアは手厚いかあるいはそれは進み易くないかもしくは両方ともである」ということは偽である ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: もしもその特集号は取り調べるとしたら「あのヘルニアは手厚いかもしくは進み易くないかまたは両方ともである」ということは成り立たない
事実2: あのヘルニアは進み易い
事実3: もし仮にその特集号は手厚いならば「あのヘルニアは進み易いかそれは取り調べない」ということは嘘だ
事実4: 仮にその特集号が取り調べるとしたらあのヘルニアは進み易い
事実5: その特集号は取り調べる

仮説: 「あのヘルニアは手厚いかあるいはそれは進み易くないかもしくは両方ともである」ということは偽である
1. 事実1と事実5から、仮説が導かれる

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