「あの三連祭壇画は抜き取るけれど輸出貨物情報ファイルでない」ということは誤っている
fact1: もしあの三連祭壇画は修羅でないとすると「それは抜き取るけど輸出貨物情報ファイルでない」ということは成り立たない fact2: あの三連祭壇画は修羅でない
$facts$ = fact1: もしあの三連祭壇画は修羅でないとすると「それは抜き取るけど輸出貨物情報ファイルでない」ということは成り立たない fact2: あの三連祭壇画は修羅でない ; $hypothesis$ = 「あの三連祭壇画は抜き取るけれど輸出貨物情報ファイルでない」ということは誤っている ; $proof$ = 
事実1: もしあの三連祭壇画は修羅でないとすると「それは抜き取るけど輸出貨物情報ファイルでない」ということは成り立たない
事実2: あの三連祭壇画は修羅でない

仮説: 「あの三連祭壇画は抜き取るけれど輸出貨物情報ファイルでない」ということは誤っている