「あの徒弟は農であるかあるいはカリである」ということは本当でない
fact1: あの徒弟はカリであるかもしくはそれは竿師であるかあるいは両方ともである fact2: あの徒弟は臨むかまたはそれは農だ fact3: あの徒弟は農であるか割れ易いかどちらもである fact4: あの徒弟は農である
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: あの徒弟はカリであるかもしくはそれは竿師であるかあるいは両方ともである fact2: あの徒弟は臨むかまたはそれは農だ fact3: あの徒弟は農であるか割れ易いかどちらもである fact4: あの徒弟は農である ; $hypothesis$ = 「あの徒弟は農であるかあるいはカリである」ということは本当でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あの徒弟はカリであるかもしくはそれは竿師であるかあるいは両方ともである
事実2: あの徒弟は臨むかまたはそれは農だ
事実3: あの徒弟は農であるか割れ易いかどちらもである
事実4: あの徒弟は農である

仮説: 「あの徒弟は農であるかあるいはカリである」ということは本当でない
1. 事実4から、仮説が否定される

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