この期限切れは治政でない
fact1: この期限切れはＮＵＤだ fact2: もし仮にこの期限切れはＮＵＤであるとするとそれは治政でない
$facts$ = fact1: この期限切れはＮＵＤだ fact2: もし仮にこの期限切れはＮＵＤであるとするとそれは治政でない ; $hypothesis$ = この期限切れは治政でない ; $proof$ = 
事実1: この期限切れはＮＵＤだ
事実2: もし仮にこの期限切れはＮＵＤであるとするとそれは治政でない

仮説: この期限切れは治政でない