「「もしも荒っぽくないしさらに看守しないならば伝わり易い」物はある」ということは成り立たない
fact1: 荒っぽくないものが看守するということはないなら伝わり易い fact2: 「仮に荒っぽいということはないけれど看守するとすれば伝わり易い」物はある fact3: もしその会社全体が伝わり易い一方でそれは画塾であるということはないならば眠たい fact4: 仮に荒っぽい物が看守しないとするとそれは伝わり易い
fact1 -> int1: 「あの帯域幅は荒っぽくなくてそれは看守しない」ということは成り立つならそれは伝わり易い; int1 -> hypothesis;
$facts$ = fact1: 荒っぽくないものが看守するということはないなら伝わり易い fact2: 「仮に荒っぽいということはないけれど看守するとすれば伝わり易い」物はある fact3: もしその会社全体が伝わり易い一方でそれは画塾であるということはないならば眠たい fact4: 仮に荒っぽい物が看守しないとするとそれは伝わり易い ; $hypothesis$ = 「「もしも荒っぽくないしさらに看守しないならば伝わり易い」物はある」ということは成り立たない ; $proof$ = 
fact1 -> int1: 「あの帯域幅は荒っぽくなくてそれは看守しない」ということは成り立つならそれは伝わり易い; int1 -> hypothesis; __DISPROVED__
事実1: 荒っぽくないものが看守するということはないなら伝わり易い
事実2: 「仮に荒っぽいということはないけれど看守するとすれば伝わり易い」物はある
事実3: もしその会社全体が伝わり易い一方でそれは画塾であるということはないならば眠たい
事実4: 仮に荒っぽい物が看守しないとするとそれは伝わり易い

仮説: 「「もしも荒っぽくないしさらに看守しないならば伝わり易い」物はある」ということは成り立たない
1. 事実1から、推論1: "「あの帯域幅は荒っぽくなくてそれは看守しない」ということは成り立つならそれは伝わり易い"が導かれる
2. 推論1から、仮説が否定される

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