あの身元調査はなあくない
fact1: 「もしあの身元調査は成り下がらないなら「あの身元調査はなあい」ということは成り立つ」ということは成り立つ fact2: あの身元調査は成り下がらない
$facts$ = fact1: 「もしあの身元調査は成り下がらないなら「あの身元調査はなあい」ということは成り立つ」ということは成り立つ fact2: あの身元調査は成り下がらない ; $hypothesis$ = あの身元調査はなあくない ; $proof$ = 
事実1: 「もしあの身元調査は成り下がらないなら「あの身元調査はなあい」ということは成り立つ」ということは成り立つ
事実2: あの身元調査は成り下がらない

仮説: あの身元調査はなあくない