「あの礼儀有りは自動入力するということはないかあるいは暗くないかもしくは両方だ」ということは嘘である
fact1: 「あの礼儀有りは自動入力するということはないかもしくはそれは暗くないかまたは両方である」ということは偽である
$facts$ = fact1: 「あの礼儀有りは自動入力するということはないかもしくはそれは暗くないかまたは両方である」ということは偽である ; $hypothesis$ = 「あの礼儀有りは自動入力するということはないかあるいは暗くないかもしくは両方だ」ということは嘘である ; $proof$ = 
事実1: 「あの礼儀有りは自動入力するということはないかもしくはそれは暗くないかまたは両方である」ということは偽である

仮説: 「あの礼儀有りは自動入力するということはないかあるいは暗くないかもしくは両方だ」ということは嘘である