この隋書はせかせかしない
fact1: 「その連続変数はせかせかする」ということは成り立つ fact2: もし仮にこの隋書はむさいが教授等でないならばそれは十五度以下だ fact3: もし仮にこの隋書が十五度以下ならそれはせかせかする fact4: この隋書はむさくなくて教授等でない fact5: もしもこの隋書がむさくないしさらに教授等だということはないならそれは十五度以下である
fact5 & fact4 -> int1: この隋書は十五度以下だ; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「その連続変数はせかせかする」ということは成り立つ fact2: もし仮にこの隋書はむさいが教授等でないならばそれは十五度以下だ fact3: もし仮にこの隋書が十五度以下ならそれはせかせかする fact4: この隋書はむさくなくて教授等でない fact5: もしもこの隋書がむさくないしさらに教授等だということはないならそれは十五度以下である ; $hypothesis$ = この隋書はせかせかしない ; $proof$ = 
fact5 & fact4 -> int1: この隋書は十五度以下だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その連続変数はせかせかする」ということは成り立つ
事実2: もし仮にこの隋書はむさいが教授等でないならばそれは十五度以下だ
事実3: もし仮にこの隋書が十五度以下ならそれはせかせかする
事実4: この隋書はむさくなくて教授等でない
事実5: もしもこの隋書がむさくないしさらに教授等だということはないならそれは十五度以下である

仮説: この隋書はせかせかしない
1. 事実5と事実4から、推論1: "この隋書は十五度以下だ"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。