「あの垂迹は登記す一方で固定化ＥＧＦでない」ということは本当でない
fact1: あの垂迹は高齢者居住でない fact2: あの垂迹は高齢者居住でないならば「登記すしその上固定化ＥＧＦでない」ということは成り立つということはない
$facts$ = fact1: あの垂迹は高齢者居住でない fact2: あの垂迹は高齢者居住でないならば「登記すしその上固定化ＥＧＦでない」ということは成り立つということはない ; $hypothesis$ = 「あの垂迹は登記す一方で固定化ＥＧＦでない」ということは本当でない ; $proof$ = 
事実1: あの垂迹は高齢者居住でない
事実2: あの垂迹は高齢者居住でないならば「登記すしその上固定化ＥＧＦでない」ということは成り立つということはない

仮説: 「あの垂迹は登記す一方で固定化ＥＧＦでない」ということは本当でない