このコンピュータウィルスは下り始めない
fact1: このコンピュータウィルスは下り始めなくておまけに程無くない
$facts$ = fact1: このコンピュータウィルスは下り始めなくておまけに程無くない ; $hypothesis$ = このコンピュータウィルスは下り始めない ; $proof$ = 
事実1: このコンピュータウィルスは下り始めなくておまけに程無くない

仮説: このコンピュータウィルスは下り始めない