このフォーマットファイルはメロンパンでない
fact1: 「このフォーマットファイルは遣り取りする」ということは正しい fact2: 「もしもこのフォーマットファイルは遣り取りするとすれば「このフォーマットファイルはメロンパンだ」ということは正しい」ということは正しい
$facts$ = fact1: 「このフォーマットファイルは遣り取りする」ということは正しい fact2: 「もしもこのフォーマットファイルは遣り取りするとすれば「このフォーマットファイルはメロンパンだ」ということは正しい」ということは正しい ; $hypothesis$ = このフォーマットファイルはメロンパンでない ; $proof$ = 
事実1: 「このフォーマットファイルは遣り取りする」ということは正しい
事実2: 「もしもこのフォーマットファイルは遣り取りするとすれば「このフォーマットファイルはメロンパンだ」ということは正しい」ということは正しい

仮説: このフォーマットファイルはメロンパンでない