その表示は申上だ
fact1: 「その中国料理は経営戦略室でないかあるいは大阪モノレールでない」ということは成り立たない fact2: もしも「その中国料理は経営戦略室でないか大阪モノレールでないかもしくは両方だ」ということは成り立たないならば「その表示は申上だ」ということは成り立つ
$facts$ = fact1: 「その中国料理は経営戦略室でないかあるいは大阪モノレールでない」ということは成り立たない fact2: もしも「その中国料理は経営戦略室でないか大阪モノレールでないかもしくは両方だ」ということは成り立たないならば「その表示は申上だ」ということは成り立つ ; $hypothesis$ = その表示は申上だ ; $proof$ = 
事実1: 「その中国料理は経営戦略室でないかあるいは大阪モノレールでない」ということは成り立たない
事実2: もしも「その中国料理は経営戦略室でないか大阪モノレールでないかもしくは両方だ」ということは成り立たないならば「その表示は申上だ」ということは成り立つ

仮説: その表示は申上だ