「そのＳＴＡは旨しということはないがめでたい」ということは誤りだ
fact1: あらゆる物は旨しないけどめでたい
$facts$ = fact1: あらゆる物は旨しないけどめでたい ; $hypothesis$ = 「そのＳＴＡは旨しということはないがめでたい」ということは誤りだ ; $proof$ = 
事実1: あらゆる物は旨しないけどめでたい

仮説: 「そのＳＴＡは旨しということはないがめでたい」ということは誤りだ