このウィルス種は連想し易い
fact1: その杓文字は図り難くないけれどそれは勤め上げる fact2: 仮に「何らかの物はおっそろしないけど称し得る」ということは誤りであるとすれば連想し易い fact3: その杓文字が図り難くないがしかし勤め上げるならこのウィルス種は連想し易いということはない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
このウィルス種は連想し易い
fact4 -> int1: もし仮に「このウィルス種はおっそろしないがしかし称し得る」ということは誤っているならそれは連想し易い;
$facts$ = fact1: その杓文字は図り難くないけれどそれは勤め上げる fact2: 仮に「何らかの物はおっそろしないけど称し得る」ということは誤りであるとすれば連想し易い fact3: その杓文字が図り難くないがしかし勤め上げるならこのウィルス種は連想し易いということはない ; $hypothesis$ = このウィルス種は連想し易い ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: その杓文字は図り難くないけれどそれは勤め上げる
事実2: 仮に「何らかの物はおっそろしないけど称し得る」ということは誤りであるとすれば連想し易い
事実3: その杓文字が図り難くないがしかし勤め上げるならこのウィルス種は連想し易いということはない

仮説: このウィルス種は連想し易い
1. 事実3と事実1から、仮説が否定される

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