「仮に「その在位前は野太い」ということは本当だとすると「その在位前は北家でなくてそれはプロムナードでない」ということは成り立たない」ということは偽だ
fact1: あるものは野太いとすれば「北家でなくてそれはプロムナードでない」ということは成り立たない
$facts$ = fact1: あるものは野太いとすれば「北家でなくてそれはプロムナードでない」ということは成り立たない ; $hypothesis$ = 「仮に「その在位前は野太い」ということは本当だとすると「その在位前は北家でなくてそれはプロムナードでない」ということは成り立たない」ということは偽だ ; $proof$ = 
事実1: あるものは野太いとすれば「北家でなくてそれはプロムナードでない」ということは成り立たない

仮説: 「仮に「その在位前は野太い」ということは本当だとすると「その在位前は北家でなくてそれはプロムナードでない」ということは成り立たない」ということは偽だ