このギガ炉は自己規定しない
fact1: 仮に「あの排気ガス中はギブアップするししかも生々しい」ということは誤っているとしたらこのギガ炉は自己規定するということはない fact2: 「「あの排気ガス中はギブアップするしまた生々しい」ということは嘘でない」ということは成り立たない
$facts$ = fact1: 仮に「あの排気ガス中はギブアップするししかも生々しい」ということは誤っているとしたらこのギガ炉は自己規定するということはない fact2: 「「あの排気ガス中はギブアップするしまた生々しい」ということは嘘でない」ということは成り立たない ; $hypothesis$ = このギガ炉は自己規定しない ; $proof$ = 
事実1: 仮に「あの排気ガス中はギブアップするししかも生々しい」ということは誤っているとしたらこのギガ炉は自己規定するということはない
事実2: 「「あの排気ガス中はギブアップするしまた生々しい」ということは嘘でない」ということは成り立たない

仮説: このギガ炉は自己規定しない