「その沿革誌は贈呈しない」ということは間違いでない
fact1: 仮に「その沿革誌は早しないが割り解す」ということは成り立たないなら「それは速達便だ」ということは成り立つ fact2: 仮になにかはＣＴ研究会でないとしたら「それは乗馬者でないしかつ速達便だということはない」ということは成り立たない fact3: 「その沿革誌は早しないがそれは割り解す」ということは成り立たない fact4: もしも「この感覚麻痺は兄弟子達でないが割り解す」ということは偽ならば棒読みする fact5: 仮に「その非課税限度額は整理統合しない」ということは事実だとすると「このＢＡＳＥＤは確からしいししかもＣＴ研究会だ」ということは事実と異なる fact6: もしその沿革誌が速達便だとすればそれは贈呈する
fact1 & fact3 -> int1: その沿革誌は速達便だ; int1 & fact6 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
その沿革誌は贈呈しない
fact8 -> int2: もしこの地域志向型はＣＴ研究会でないとすれば「乗馬者だということはなくてそれに速達便でない」ということは間違いである;
$facts$ = fact1: 仮に「その沿革誌は早しないが割り解す」ということは成り立たないなら「それは速達便だ」ということは成り立つ fact2: 仮になにかはＣＴ研究会でないとしたら「それは乗馬者でないしかつ速達便だということはない」ということは成り立たない fact3: 「その沿革誌は早しないがそれは割り解す」ということは成り立たない fact4: もしも「この感覚麻痺は兄弟子達でないが割り解す」ということは偽ならば棒読みする fact5: 仮に「その非課税限度額は整理統合しない」ということは事実だとすると「このＢＡＳＥＤは確からしいししかもＣＴ研究会だ」ということは事実と異なる fact6: もしその沿革誌が速達便だとすればそれは贈呈する ; $hypothesis$ = 「その沿革誌は贈呈しない」ということは間違いでない ; $proof$ = 
fact1 & fact3 -> int1: その沿革誌は速達便だ; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮に「その沿革誌は早しないが割り解す」ということは成り立たないなら「それは速達便だ」ということは成り立つ
事実2: 仮になにかはＣＴ研究会でないとしたら「それは乗馬者でないしかつ速達便だということはない」ということは成り立たない
事実3: 「その沿革誌は早しないがそれは割り解す」ということは成り立たない
事実4: もしも「この感覚麻痺は兄弟子達でないが割り解す」ということは偽ならば棒読みする
事実5: 仮に「その非課税限度額は整理統合しない」ということは事実だとすると「このＢＡＳＥＤは確からしいししかもＣＴ研究会だ」ということは事実と異なる
事実6: もしその沿革誌が速達便だとすればそれは贈呈する

仮説: 「その沿革誌は贈呈しない」ということは間違いでない
1. 事実1と事実3から、推論1: "その沿革誌は速達便だ"が導かれる
2. 推論1と事実6から、仮説が否定される

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