あのシベリア侵攻はボイスでない
fact1: あのシベリア侵攻は乗車しない fact2: もしあのシベリア侵攻が乗車しないならボイスでない fact3: あの大都市部は乗車しない
$facts$ = fact1: あのシベリア侵攻は乗車しない fact2: もしあのシベリア侵攻が乗車しないならボイスでない fact3: あの大都市部は乗車しない ; $hypothesis$ = あのシベリア侵攻はボイスでない ; $proof$ = 
事実1: あのシベリア侵攻は乗車しない
事実2: もしあのシベリア侵攻が乗車しないならボイスでない
事実3: あの大都市部は乗車しない

仮説: あのシベリア侵攻はボイスでない