この上位指名は幸福でない
fact1: この上位指名は写るか後ろめたくない fact2: もしこの上位指名は写るかまたは後ろめたいということはないならば幸福でない
$facts$ = fact1: この上位指名は写るか後ろめたくない fact2: もしこの上位指名は写るかまたは後ろめたいということはないならば幸福でない ; $hypothesis$ = この上位指名は幸福でない ; $proof$ = 
事実1: この上位指名は写るか後ろめたくない
事実2: もしこの上位指名は写るかまたは後ろめたいということはないならば幸福でない

仮説: この上位指名は幸福でない