「「仮に「大鉈であるし加えてジャンボピーマンである」ということは間違っているとすればケータリングでない」ものはある」ということは正しい
fact1: もしも「あの甲乙は大鉈でそれにジャンボピーマンだ」ということは間違っていればそれはケータリングであるということはない
$facts$ = fact1: もしも「あの甲乙は大鉈でそれにジャンボピーマンだ」ということは間違っていればそれはケータリングであるということはない ; $hypothesis$ = 「「仮に「大鉈であるし加えてジャンボピーマンである」ということは間違っているとすればケータリングでない」ものはある」ということは正しい ; $proof$ = 
事実1: もしも「あの甲乙は大鉈でそれにジャンボピーマンだ」ということは間違っていればそれはケータリングであるということはない

仮説: 「「仮に「大鉈であるし加えてジャンボピーマンである」ということは間違っているとすればケータリングでない」ものはある」ということは正しい