「この診査は設定情報でない」ということは事実だ
fact1: もし「この目算は変形性脊椎症でないかもしくは社会福祉事業法であるか両方ともである」ということは嘘だとしたらこの診査は設定情報である fact2: 「「この目算は変形性脊椎症でないかそれは社会福祉事業法であるかまたは両方である」ということは本当だ」ということは事実と異なる
$facts$ = fact1: もし「この目算は変形性脊椎症でないかもしくは社会福祉事業法であるか両方ともである」ということは嘘だとしたらこの診査は設定情報である fact2: 「「この目算は変形性脊椎症でないかそれは社会福祉事業法であるかまたは両方である」ということは本当だ」ということは事実と異なる ; $hypothesis$ = 「この診査は設定情報でない」ということは事実だ ; $proof$ = 
事実1: もし「この目算は変形性脊椎症でないかもしくは社会福祉事業法であるか両方ともである」ということは嘘だとしたらこの診査は設定情報である
事実2: 「「この目算は変形性脊椎症でないかそれは社会福祉事業法であるかまたは両方である」ということは本当だ」ということは事実と異なる

仮説: 「この診査は設定情報でない」ということは事実だ