このミコナゾールは出没しない
fact1: もしも「このミコナゾールは見合うけどそれは土留め枠であるということはない」ということは事実と異なるとしたらそれは出没する fact2: 「このミコナゾールは見合うがしかしそれは土留め枠でない」ということは事実と異なる
$facts$ = fact1: もしも「このミコナゾールは見合うけどそれは土留め枠であるということはない」ということは事実と異なるとしたらそれは出没する fact2: 「このミコナゾールは見合うがしかしそれは土留め枠でない」ということは事実と異なる ; $hypothesis$ = このミコナゾールは出没しない ; $proof$ = 
事実1: もしも「このミコナゾールは見合うけどそれは土留め枠であるということはない」ということは事実と異なるとしたらそれは出没する
事実2: 「このミコナゾールは見合うがしかしそれは土留め枠でない」ということは事実と異なる

仮説: このミコナゾールは出没しない