その主任教授は錫杖でない
fact1: もし仮に「このデパートは口出し出来なくてかつそれは酢味噌でない」ということは嘘だとすると「その主任教授は錫杖だ」ということは本当だ fact2: 「「このデパートは口出し出来なくて酢味噌であるということはない」ということは本当である」ということは成り立つということはない
$facts$ = fact1: もし仮に「このデパートは口出し出来なくてかつそれは酢味噌でない」ということは嘘だとすると「その主任教授は錫杖だ」ということは本当だ fact2: 「「このデパートは口出し出来なくて酢味噌であるということはない」ということは本当である」ということは成り立つということはない ; $hypothesis$ = その主任教授は錫杖でない ; $proof$ = 
事実1: もし仮に「このデパートは口出し出来なくてかつそれは酢味噌でない」ということは嘘だとすると「その主任教授は錫杖だ」ということは本当だ
事実2: 「「このデパートは口出し出来なくて酢味噌であるということはない」ということは本当である」ということは成り立つということはない

仮説: その主任教授は錫杖でない