その群雲は理解し合えない
fact1: 「その群雲が陣取らないしさらにそれは眩くない」ということは嘘だ fact2: もしも「その群雲は陣取らなくておまけに眩いということはない」ということは嘘だとすれば「それは理解し合える」ということは成り立つ
$facts$ = fact1: 「その群雲が陣取らないしさらにそれは眩くない」ということは嘘だ fact2: もしも「その群雲は陣取らなくておまけに眩いということはない」ということは嘘だとすれば「それは理解し合える」ということは成り立つ ; $hypothesis$ = その群雲は理解し合えない ; $proof$ = 
事実1: 「その群雲が陣取らないしさらにそれは眩くない」ということは嘘だ
事実2: もしも「その群雲は陣取らなくておまけに眩いということはない」ということは嘘だとすれば「それは理解し合える」ということは成り立つ

仮説: その群雲は理解し合えない