あの砦は雲珠だがそれは厚しない
fact1: もしもあの砦はなあいとしたら「それは雲珠であるしさらに厚しない」ということは確かであるということはない fact2: あの砦はなあい
$facts$ = fact1: もしもあの砦はなあいとしたら「それは雲珠であるしさらに厚しない」ということは確かであるということはない fact2: あの砦はなあい ; $hypothesis$ = あの砦は雲珠だがそれは厚しない ; $proof$ = 
事実1: もしもあの砦はなあいとしたら「それは雲珠であるしさらに厚しない」ということは確かであるということはない
事実2: あの砦はなあい

仮説: あの砦は雲珠だがそれは厚しない