「「もし仮に「ＯＢ臭くてかつ荷抜きする」ということは嘘だとしたら学処でない」ものはある」ということは事実と異なる
fact1: 仮にこの素縁が荷抜きするということはないとしたらそれは学処でない fact2: もしこの素縁は荷抜きするしおまけに会社支配面であるとすればそれは利用され易くない fact3: もし仮に「この素縁はＯＢ臭いしその上荷抜きする」ということは偽であるとすれば学処でない fact4: もし仮にこの素縁がＯＢ臭くて荷抜きするなら「それは学処でない」ということは正しい fact5: 「「許し難くない」ということは成り立つなら「ＲＡＷモードでない」ということは成り立つ」ものはある
fact3 -> hypothesis;
$facts$ = fact1: 仮にこの素縁が荷抜きするということはないとしたらそれは学処でない fact2: もしこの素縁は荷抜きするしおまけに会社支配面であるとすればそれは利用され易くない fact3: もし仮に「この素縁はＯＢ臭いしその上荷抜きする」ということは偽であるとすれば学処でない fact4: もし仮にこの素縁がＯＢ臭くて荷抜きするなら「それは学処でない」ということは正しい fact5: 「「許し難くない」ということは成り立つなら「ＲＡＷモードでない」ということは成り立つ」ものはある ; $hypothesis$ = 「「もし仮に「ＯＢ臭くてかつ荷抜きする」ということは嘘だとしたら学処でない」ものはある」ということは事実と異なる ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮にこの素縁が荷抜きするということはないとしたらそれは学処でない
事実2: もしこの素縁は荷抜きするしおまけに会社支配面であるとすればそれは利用され易くない
事実3: もし仮に「この素縁はＯＢ臭いしその上荷抜きする」ということは偽であるとすれば学処でない
事実4: もし仮にこの素縁がＯＢ臭くて荷抜きするなら「それは学処でない」ということは正しい
事実5: 「「許し難くない」ということは成り立つなら「ＲＡＷモードでない」ということは成り立つ」ものはある

仮説: 「「もし仮に「ＯＢ臭くてかつ荷抜きする」ということは嘘だとしたら学処でない」ものはある」ということは事実と異なる
1. 事実3から、仮説が否定される

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