「そのＭフィルターはハルシオンだ」ということは偽だ
fact1: そのＭフィルターがすばしこいとすればあのＵＩはハルシオンだ fact2: 仮にそのＵＩがすばしこいとすればそのＭフィルターはハルシオンである fact3: その生活続命はすばしこい fact4: そのＵＩはすばしこい
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
$facts$ = fact1: そのＭフィルターがすばしこいとすればあのＵＩはハルシオンだ fact2: 仮にそのＵＩがすばしこいとすればそのＭフィルターはハルシオンである fact3: その生活続命はすばしこい fact4: そのＵＩはすばしこい ; $hypothesis$ = 「そのＭフィルターはハルシオンだ」ということは偽だ ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: そのＭフィルターがすばしこいとすればあのＵＩはハルシオンだ
事実2: 仮にそのＵＩがすばしこいとすればそのＭフィルターはハルシオンである
事実3: その生活続命はすばしこい
事実4: そのＵＩはすばしこい

仮説: 「そのＭフィルターはハルシオンだ」ということは偽だ
1. 事実2と事実4から、仮説が否定される

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