あの一気圧は印字する
fact1: もしもあの一気圧が記号学であるしその上酸っぱいならばそれは印字しない fact2: あの一気圧は記号学だし加えて酸っぱい fact3: あの一気圧は酸っぱい
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: もしもあの一気圧が記号学であるしその上酸っぱいならばそれは印字しない fact2: あの一気圧は記号学だし加えて酸っぱい fact3: あの一気圧は酸っぱい ; $hypothesis$ = あの一気圧は印字する ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしもあの一気圧が記号学であるしその上酸っぱいならばそれは印字しない
事実2: あの一気圧は記号学だし加えて酸っぱい
事実3: あの一気圧は酸っぱい

仮説: あの一気圧は印字する
1. 事実1と事実2から、仮説が否定される

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