「あの鬱は爺っでない」ということは事実だ
fact1: もしもあの鬱は蒸し暑くなくて固しないとしたら爺っでない fact2: あの鬱は蒸し暑くないしおまけに固しない
$facts$ = fact1: もしもあの鬱は蒸し暑くなくて固しないとしたら爺っでない fact2: あの鬱は蒸し暑くないしおまけに固しない ; $hypothesis$ = 「あの鬱は爺っでない」ということは事実だ ; $proof$ = 
事実1: もしもあの鬱は蒸し暑くなくて固しないとしたら爺っでない
事実2: あの鬱は蒸し暑くないしおまけに固しない

仮説: 「あの鬱は爺っでない」ということは事実だ