あの別種類はプログラミングする
fact1: 清々しいものは売り買いする fact2: もしもあの十月半ばがプログラミングするならばあの別種類はスキューバダイビングである fact3: あの十月半ばはスキューバダイビングである fact4: あの別種類が見え難くないなら千九百八十年代でなくてそれに三宅小学校だ fact5: あるものが免れ難いとすればそれはプログラミングしない fact6: 免れ難くない物はスキューバダイビングだししかもプログラミングする fact7: もしも「あの十月半ばは口惜しい」ということは成り立つとするとそれは清々しい fact8: この生活妨害は売り買いするとすれば「あの十月半ばは成し遂げる」ということは正しい fact9: もし仮にあの別種類が千九百八十年代であるということはない一方でそれが三宅小学校だとすればあの十月半ばは口惜しい fact10: あの別種類はスキューバダイビングである fact11: 清々しい物は成し遂げないしそれに売り買いするということはない fact12: もし仮にあの十月半ばがスキューバダイビングならあの別種類は免れ難い fact13: あの十月半ばが免れ難くないかあるいはそれがスキューバダイビングでないとすればあの別種類はプログラミングする fact14: もしなにがしかの物が成し遂げるとすれば免れ難くないかあるいはスキューバダイビングでないか両方である
fact12 & fact3 -> int1: あの別種類は免れ難い; fact5 -> int2: 「あの別種類は免れ難い」ということは正しいならプログラミングしない; int1 & int2 -> hypothesis;
fact12 & fact3 -> int1: {B}{b}; fact5 -> int2: {B}{b} -> ¬{C}{b}; int1 & int2 -> hypothesis;
あの仕向け地区分はプログラミングする
fact19 -> int3: もしもあの仕向け地区分が免れ難くないとしたらスキューバダイビングであるしそれにプログラミングする; fact17 -> int4: もしもあの十月半ばが清々しいとしたら成し遂げないしさらにそれは売り買いしない;
$facts$ = fact1: 清々しいものは売り買いする fact2: もしもあの十月半ばがプログラミングするならばあの別種類はスキューバダイビングである fact3: あの十月半ばはスキューバダイビングである fact4: あの別種類が見え難くないなら千九百八十年代でなくてそれに三宅小学校だ fact5: あるものが免れ難いとすればそれはプログラミングしない fact6: 免れ難くない物はスキューバダイビングだししかもプログラミングする fact7: もしも「あの十月半ばは口惜しい」ということは成り立つとするとそれは清々しい fact8: この生活妨害は売り買いするとすれば「あの十月半ばは成し遂げる」ということは正しい fact9: もし仮にあの別種類が千九百八十年代であるということはない一方でそれが三宅小学校だとすればあの十月半ばは口惜しい fact10: あの別種類はスキューバダイビングである fact11: 清々しい物は成し遂げないしそれに売り買いするということはない fact12: もし仮にあの十月半ばがスキューバダイビングならあの別種類は免れ難い fact13: あの十月半ばが免れ難くないかあるいはそれがスキューバダイビングでないとすればあの別種類はプログラミングする fact14: もしなにがしかの物が成し遂げるとすれば免れ難くないかあるいはスキューバダイビングでないか両方である ; $hypothesis$ = あの別種類はプログラミングする ; $proof$ = 
fact12 & fact3 -> int1: あの別種類は免れ難い; fact5 -> int2: 「あの別種類は免れ難い」ということは正しいならプログラミングしない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 清々しいものは売り買いする
事実2: もしもあの十月半ばがプログラミングするならばあの別種類はスキューバダイビングである
事実3: あの十月半ばはスキューバダイビングである
事実4: あの別種類が見え難くないなら千九百八十年代でなくてそれに三宅小学校だ
事実5: あるものが免れ難いとすればそれはプログラミングしない
事実6: 免れ難くない物はスキューバダイビングだししかもプログラミングする
事実7: もしも「あの十月半ばは口惜しい」ということは成り立つとするとそれは清々しい
事実8: この生活妨害は売り買いするとすれば「あの十月半ばは成し遂げる」ということは正しい
事実9: もし仮にあの別種類が千九百八十年代であるということはない一方でそれが三宅小学校だとすればあの十月半ばは口惜しい
事実10: あの別種類はスキューバダイビングである
事実11: 清々しい物は成し遂げないしそれに売り買いするということはない
事実12: もし仮にあの十月半ばがスキューバダイビングならあの別種類は免れ難い
事実13: あの十月半ばが免れ難くないかあるいはそれがスキューバダイビングでないとすればあの別種類はプログラミングする
事実14: もしなにがしかの物が成し遂げるとすれば免れ難くないかあるいはスキューバダイビングでないか両方である

仮説: あの別種類はプログラミングする
1. 事実12と事実3から、推論1: "あの別種類は免れ難い"が導かれる
2. 事実5から、推論2: "「あの別種類は免れ難い」ということは正しいならプログラミングしない"が導かれる
3. 推論1と推論2から、仮説が否定される

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