「その演習中はギブアップしないが食い殺す」ということは成り立たない
fact1: その演習中はギブアップしないが食い殺す
$facts$ = fact1: その演習中はギブアップしないが食い殺す ; $hypothesis$ = 「その演習中はギブアップしないが食い殺す」ということは成り立たない ; $proof$ = 
事実1: その演習中はギブアップしないが食い殺す

仮説: 「その演習中はギブアップしないが食い殺す」ということは成り立たない