「そのティラミスは最低生活だけれどいとおしくない」ということは間違いならそれは暗くない
fact1: 「「とあるものは最低生活であるけどそれはいとおしくない」ということは事実である」ということは成り立たないとすれば暗くない
$facts$ = fact1: 「「とあるものは最低生活であるけどそれはいとおしくない」ということは事実である」ということは成り立たないとすれば暗くない ; $hypothesis$ = 「そのティラミスは最低生活だけれどいとおしくない」ということは間違いならそれは暗くない ; $proof$ = 
事実1: 「「とあるものは最低生活であるけどそれはいとおしくない」ということは事実である」ということは成り立たないとすれば暗くない

仮説: 「そのティラミスは最低生活だけれどいとおしくない」ということは間違いならそれは暗くない