「そのバックアップファイルが解決システムだけどマカラでない」ということは偽だ
fact1: 「もしもこのＡＶＦが付属小学校だとすればそのバックアップファイルは解決システムだ一方でマカラでない」ということは確かだ fact2: このＡＶＦは付属小学校である
$facts$ = fact1: 「もしもこのＡＶＦが付属小学校だとすればそのバックアップファイルは解決システムだ一方でマカラでない」ということは確かだ fact2: このＡＶＦは付属小学校である ; $hypothesis$ = 「そのバックアップファイルが解決システムだけどマカラでない」ということは偽だ ; $proof$ = 
事実1: 「もしもこのＡＶＦが付属小学校だとすればそのバックアップファイルは解決システムだ一方でマカラでない」ということは確かだ
事実2: このＡＶＦは付属小学校である

仮説: 「そのバックアップファイルが解決システムだけどマカラでない」ということは偽だ