「「このＤＩＲはメールするということはないし更に台選びでない」ということは偽だ」ということは事実だ
fact1: この被災者はインストールでない fact2: この被災者がインストールだということはないならこのＤＩＲはメールしないしおまけに台選びであるということはない
$facts$ = fact1: この被災者はインストールでない fact2: この被災者がインストールだということはないならこのＤＩＲはメールしないしおまけに台選びであるということはない ; $hypothesis$ = 「「このＤＩＲはメールするということはないし更に台選びでない」ということは偽だ」ということは事実だ ; $proof$ = 
事実1: この被災者はインストールでない
事実2: この被災者がインストールだということはないならこのＤＩＲはメールしないしおまけに台選びであるということはない

仮説: 「「このＤＩＲはメールするということはないし更に台選びでない」ということは偽だ」ということは事実だ