「そのブルマーは下痢するし補論だ」ということは偽だ
fact1: そのブルマーは富士スピードウェイであるということはないかもしくはそれは下痢するかまたは両方である fact2: そのブルマーは発症し易くない一方で補論である fact3: もし仮にそのブルマーが富士スピードウェイだ一方で発症し易いということはないとしたらあの随意科目は富士スピードウェイでない fact4: もしとあるものは補論でないならば富士スピードウェイであるけれど発症し易くない fact5: もしそのブルマーが富士スピードウェイだということはないかあるいは下痢するかもしくは両方だとすると下痢する fact6: 「「ほっとするし補論だ」ということは成り立たない」物はある
fact2 -> int1: そのブルマーは補論である; fact1 & fact5 -> int2: そのブルマーは下痢する; int1 & int2 -> hypothesis;
あの随意科目は富士スピードウェイでないけれど姉らしい
fact7 -> int3: もしそのブルマーは補論でないとするとそれは富士スピードウェイだけど発症し易くない;
$facts$ = fact1: そのブルマーは富士スピードウェイであるということはないかもしくはそれは下痢するかまたは両方である fact2: そのブルマーは発症し易くない一方で補論である fact3: もし仮にそのブルマーが富士スピードウェイだ一方で発症し易いということはないとしたらあの随意科目は富士スピードウェイでない fact4: もしとあるものは補論でないならば富士スピードウェイであるけれど発症し易くない fact5: もしそのブルマーが富士スピードウェイだということはないかあるいは下痢するかもしくは両方だとすると下痢する fact6: 「「ほっとするし補論だ」ということは成り立たない」物はある ; $hypothesis$ = 「そのブルマーは下痢するし補論だ」ということは偽だ ; $proof$ = 
fact2 -> int1: そのブルマーは補論である; fact1 & fact5 -> int2: そのブルマーは下痢する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのブルマーは富士スピードウェイであるということはないかもしくはそれは下痢するかまたは両方である
事実2: そのブルマーは発症し易くない一方で補論である
事実3: もし仮にそのブルマーが富士スピードウェイだ一方で発症し易いということはないとしたらあの随意科目は富士スピードウェイでない
事実4: もしとあるものは補論でないならば富士スピードウェイであるけれど発症し易くない
事実5: もしそのブルマーが富士スピードウェイだということはないかあるいは下痢するかもしくは両方だとすると下痢する
事実6: 「「ほっとするし補論だ」ということは成り立たない」物はある

仮説: 「そのブルマーは下痢するし補論だ」ということは偽だ
1. 事実2から、推論1: "そのブルマーは補論である"が導かれる
2. 事実1と事実5から、推論2: "そのブルマーは下痢する"が導かれる
3. 推論1と推論2から、仮説が否定される

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