「「もし仮に公務員でないならば「どうして良いし滑降しない」ということは成り立たない」ものはある」ということは成り立つ
fact1: もしも「この夜鷹・天狗は公務員でない」ということは成り立つとしたら「どうして良いが滑降するということはない」ということは事実だということはない
$facts$ = fact1: もしも「この夜鷹・天狗は公務員でない」ということは成り立つとしたら「どうして良いが滑降するということはない」ということは事実だということはない ; $hypothesis$ = 「「もし仮に公務員でないならば「どうして良いし滑降しない」ということは成り立たない」ものはある」ということは成り立つ ; $proof$ = 
事実1: もしも「この夜鷹・天狗は公務員でない」ということは成り立つとしたら「どうして良いが滑降するということはない」ということは事実だということはない

仮説: 「「もし仮に公務員でないならば「どうして良いし滑降しない」ということは成り立たない」ものはある」ということは成り立つ