「もし「寄寓しないかもしくは探し易いかもしくは両方である」ということは誤りであるとすれば追悼する」物はある
fact1: もしも「その財産区は寄寓しないか探し易いかまたは両方ともである」ということは正しくないなら追悼する
$facts$ = fact1: もしも「その財産区は寄寓しないか探し易いかまたは両方ともである」ということは正しくないなら追悼する ; $hypothesis$ = 「もし「寄寓しないかもしくは探し易いかもしくは両方である」ということは誤りであるとすれば追悼する」物はある ; $proof$ = 
事実1: もしも「その財産区は寄寓しないか探し易いかまたは両方ともである」ということは正しくないなら追悼する

仮説: 「もし「寄寓しないかもしくは探し易いかもしくは両方である」ということは誤りであるとすれば追悼する」物はある