「もし「その専有部分は嫌がるということはないけど崩落する」ということは成り立たないとしたらその専有部分は間違い無い」ということは事実と異なる
fact1: もし仮に「何らかのものは嫌がらないけどそれは崩落する」ということは成り立たないなら間違い無い
$facts$ = fact1: もし仮に「何らかのものは嫌がらないけどそれは崩落する」ということは成り立たないなら間違い無い ; $hypothesis$ = 「もし「その専有部分は嫌がるということはないけど崩落する」ということは成り立たないとしたらその専有部分は間違い無い」ということは事実と異なる ; $proof$ = 
事実1: もし仮に「何らかのものは嫌がらないけどそれは崩落する」ということは成り立たないなら間違い無い

仮説: 「もし「その専有部分は嫌がるということはないけど崩落する」ということは成り立たないとしたらその専有部分は間違い無い」ということは事実と異なる