「もし仮に御めでたくなくておまけにイベントプロシージャでないとすると重なり合わない」ものはある
fact1: もし仮にそのオイルショックは御めでたくないし加えてイベントプロシージャでないとするとそれは重なり合わない
$facts$ = fact1: もし仮にそのオイルショックは御めでたくないし加えてイベントプロシージャでないとするとそれは重なり合わない ; $hypothesis$ = 「もし仮に御めでたくなくておまけにイベントプロシージャでないとすると重なり合わない」ものはある ; $proof$ = 
事実1: もし仮にそのオイルショックは御めでたくないし加えてイベントプロシージャでないとするとそれは重なり合わない

仮説: 「もし仮に御めでたくなくておまけにイベントプロシージャでないとすると重なり合わない」ものはある