そのファイル管理システムは進学しない
fact1: その四号墳は進学する fact2: そのファイル管理システムは進学する
$facts$ = fact1: その四号墳は進学する fact2: そのファイル管理システムは進学する ; $hypothesis$ = そのファイル管理システムは進学しない ; $proof$ = 
事実1: その四号墳は進学する
事実2: そのファイル管理システムは進学する

仮説: そのファイル管理システムは進学しない