「その社会保障法は中年だ」ということは本当である
fact1: 「良しない」ものがあるとすればその社会保障法は中年でない fact2: 「良しない」物はある
$facts$ = fact1: 「良しない」ものがあるとすればその社会保障法は中年でない fact2: 「良しない」物はある ; $hypothesis$ = 「その社会保障法は中年だ」ということは本当である ; $proof$ = 
事実1: 「良しない」ものがあるとすればその社会保障法は中年でない
事実2: 「良しない」物はある

仮説: 「その社会保障法は中年だ」ということは本当である