その有り体はザ・ゴールでない
fact1: なんらかのものは不味いということはなくて更に呼ばわらない fact2: もし不味いということはないものが呼ばわらないとするとその有り体はザ・ゴールだ
$facts$ = fact1: なんらかのものは不味いということはなくて更に呼ばわらない fact2: もし不味いということはないものが呼ばわらないとするとその有り体はザ・ゴールだ ; $hypothesis$ = その有り体はザ・ゴールでない ; $proof$ = 
事実1: なんらかのものは不味いということはなくて更に呼ばわらない
事実2: もし不味いということはないものが呼ばわらないとするとその有り体はザ・ゴールだ

仮説: その有り体はザ・ゴールでない