「仮にあの宮崎家は恥丘だということはないとすれば「あの宮崎家は頼り無いかあるいは進上するかまたは両方だ」ということは間違いだ」ということは間違いだ
fact1: 何かは恥丘でないとすれば「頼り無いかあるいはそれは進上するか両方ともだ」ということは成り立たない
$facts$ = fact1: 何かは恥丘でないとすれば「頼り無いかあるいはそれは進上するか両方ともだ」ということは成り立たない ; $hypothesis$ = 「仮にあの宮崎家は恥丘だということはないとすれば「あの宮崎家は頼り無いかあるいは進上するかまたは両方だ」ということは間違いだ」ということは間違いだ ; $proof$ = 
事実1: 何かは恥丘でないとすれば「頼り無いかあるいはそれは進上するか両方ともだ」ということは成り立たない

仮説: 「仮にあの宮崎家は恥丘だということはないとすれば「あの宮崎家は頼り無いかあるいは進上するかまたは両方だ」ということは間違いだ」ということは間違いだ