「この何時はバリケードだということはない」ということは本当である
fact1: この何時は嫌味っぽい fact2: この何時はバリケードでそれに嫌味っぽい fact3: 何らかの物が徹底するということはないならばそれがバリケードだしまたそれは誇りっぽい fact4: もしなにがしかの物がバリケードなら嫌味っぽい
fact2 -> hypothesis;
fact2 -> hypothesis;
「あの姫犬稗は嫌味っぽい」ということは偽でない
fact6 -> int1: もしもあの姫犬稗がバリケードだとするとそれは嫌味っぽい; fact5 -> int2: 仮にあの姫犬稗が徹底するということはないとしたらそれはバリケードであるしかつ誇りっぽい;
$facts$ = fact1: この何時は嫌味っぽい fact2: この何時はバリケードでそれに嫌味っぽい fact3: 何らかの物が徹底するということはないならばそれがバリケードだしまたそれは誇りっぽい fact4: もしなにがしかの物がバリケードなら嫌味っぽい ; $hypothesis$ = 「この何時はバリケードだということはない」ということは本当である ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: この何時は嫌味っぽい
事実2: この何時はバリケードでそれに嫌味っぽい
事実3: 何らかの物が徹底するということはないならばそれがバリケードだしまたそれは誇りっぽい
事実4: もしなにがしかの物がバリケードなら嫌味っぽい

仮説: 「この何時はバリケードだということはない」ということは本当である
1. 事実2から、仮説が否定される

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