あの総数は祝い気分でないがしかし現われ難い
fact1: あの総数は祝い気分であるということはないがしかし現われ難い
$facts$ = fact1: あの総数は祝い気分であるということはないがしかし現われ難い ; $hypothesis$ = あの総数は祝い気分でないがしかし現われ難い ; $proof$ = 
事実1: あの総数は祝い気分であるということはないがしかし現われ難い

仮説: あの総数は祝い気分でないがしかし現われ難い