「あの零れは冷蔵だということはない」ということは真実である
fact1: あの零れはモーターであるしその上それは冷蔵である
$facts$ = fact1: あの零れはモーターであるしその上それは冷蔵である ; $hypothesis$ = 「あの零れは冷蔵だということはない」ということは真実である ; $proof$ = 
事実1: あの零れはモーターであるしその上それは冷蔵である

仮説: 「あの零れは冷蔵だということはない」ということは真実である