あの千世界は得心である
fact1: 仮に「「「柔らかくないけれど寝」ということは確かである」ということは誤りな」物があるならあの千世界は得心でない fact2: 「「柔らかくないがしかし寝」ということは事実と異なる」ものはある
$facts$ = fact1: 仮に「「「柔らかくないけれど寝」ということは確かである」ということは誤りな」物があるならあの千世界は得心でない fact2: 「「柔らかくないがしかし寝」ということは事実と異なる」ものはある ; $hypothesis$ = あの千世界は得心である ; $proof$ = 
事実1: 仮に「「「柔らかくないけれど寝」ということは確かである」ということは誤りな」物があるならあの千世界は得心でない
事実2: 「「柔らかくないがしかし寝」ということは事実と異なる」ものはある

仮説: あの千世界は得心である