「「物憂くないし小暗いということはない」物はある」ということは嘘である
fact1: その逆蓮頭勾欄は物憂くないしさらに小暗くない
$facts$ = fact1: その逆蓮頭勾欄は物憂くないしさらに小暗くない ; $hypothesis$ = 「「物憂くないし小暗いということはない」物はある」ということは嘘である ; $proof$ = 
事実1: その逆蓮頭勾欄は物憂くないしさらに小暗くない

仮説: 「「物憂くないし小暗いということはない」物はある」ということは嘘である