「仮に「このニッコウ黄菅は酸いかあるいはセル番地でないかもしくは両方だ」ということは成り立たないとすればこのニッコウ黄菅は請来しない」ということは偽である
fact1: 「なにがしかのものは酸いかまたはセル番地でないかあるいは両方ともだ」ということは間違っているとしたら請来しない
$facts$ = fact1: 「なにがしかのものは酸いかまたはセル番地でないかあるいは両方ともだ」ということは間違っているとしたら請来しない ; $hypothesis$ = 「仮に「このニッコウ黄菅は酸いかあるいはセル番地でないかもしくは両方だ」ということは成り立たないとすればこのニッコウ黄菅は請来しない」ということは偽である ; $proof$ = 
事実1: 「なにがしかのものは酸いかまたはセル番地でないかあるいは両方ともだ」ということは間違っているとしたら請来しない

仮説: 「仮に「このニッコウ黄菅は酸いかあるいはセル番地でないかもしくは両方だ」ということは成り立たないとすればこのニッコウ黄菅は請来しない」ということは偽である