「「「ひん剥かないかあるいは起き難い」ということは誤りであるなら暗い」物はある」ということは確かでない
fact1: もし「その詰め方はひん剥くということはないかそれは起き難いかあるいは両方である」ということは成り立たないとすると暗い
$facts$ = fact1: もし「その詰め方はひん剥くということはないかそれは起き難いかあるいは両方である」ということは成り立たないとすると暗い ; $hypothesis$ = 「「「ひん剥かないかあるいは起き難い」ということは誤りであるなら暗い」物はある」ということは確かでない ; $proof$ = 
事実1: もし「その詰め方はひん剥くということはないかそれは起き難いかあるいは両方である」ということは成り立たないとすると暗い

仮説: 「「「ひん剥かないかあるいは起き難い」ということは誤りであるなら暗い」物はある」ということは確かでない