この人参採取者達は考え深くない
fact1: 仮に何かは公告するということはないとするとそれは考え深くて更にマキシムだ fact2: この人参採取者達は考え深い
fact2 -> hypothesis;
fact2 -> hypothesis;
あの識別方法は考え深い
fact3 -> int1: もし仮にあの識別方法が公告しないならそれは考え深いしマキシムである;
$facts$ = fact1: 仮に何かは公告するということはないとするとそれは考え深くて更にマキシムだ fact2: この人参採取者達は考え深い ; $hypothesis$ = この人参採取者達は考え深くない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 仮に何かは公告するということはないとするとそれは考え深くて更にマキシムだ
事実2: この人参採取者達は考え深い

仮説: この人参採取者達は考え深くない
1. 事実2から、仮説が否定される

よって、仮説が否定されました。