「おどろおどろしくないとすれば眠たくないかまたは名高くないか両方ともな」物はある
fact1: もし「そのオンクリックイベントはおどろおどろしくない」ということは真実だとしたら眠たくないか名高くない
$facts$ = fact1: もし「そのオンクリックイベントはおどろおどろしくない」ということは真実だとしたら眠たくないか名高くない ; $hypothesis$ = 「おどろおどろしくないとすれば眠たくないかまたは名高くないか両方ともな」物はある ; $proof$ = 
事実1: もし「そのオンクリックイベントはおどろおどろしくない」ということは真実だとしたら眠たくないか名高くない

仮説: 「おどろおどろしくないとすれば眠たくないかまたは名高くないか両方ともな」物はある