あの不静定梁はズッキーニでない
fact1: あの不静定梁は狂おしい fact2: あの不静定梁が狂おしいならばそれはズッキーニだ
$facts$ = fact1: あの不静定梁は狂おしい fact2: あの不静定梁が狂おしいならばそれはズッキーニだ ; $hypothesis$ = あの不静定梁はズッキーニでない ; $proof$ = 
事実1: あの不静定梁は狂おしい
事実2: あの不静定梁が狂おしいならばそれはズッキーニだ

仮説: あの不静定梁はズッキーニでない