このディザイアーは入賞しない
fact1: 「その漆塗りは探し易くないしかつ獲得形質でない」ということは成り立たない fact2: 仮に「「「その漆塗りは探し易くなくてまた獲得形質でない」ということは間違っていない」ということは成り立たない」ということは確かならばこのディザイアーは入賞しない
$facts$ = fact1: 「その漆塗りは探し易くないしかつ獲得形質でない」ということは成り立たない fact2: 仮に「「「その漆塗りは探し易くなくてまた獲得形質でない」ということは間違っていない」ということは成り立たない」ということは確かならばこのディザイアーは入賞しない ; $hypothesis$ = このディザイアーは入賞しない ; $proof$ = 
事実1: 「その漆塗りは探し易くないしかつ獲得形質でない」ということは成り立たない
事実2: 仮に「「「その漆塗りは探し易くなくてまた獲得形質でない」ということは間違っていない」ということは成り立たない」ということは確かならばこのディザイアーは入賞しない

仮説: このディザイアーは入賞しない