その間引きは叙しない
fact1: もしもその間引きが自然らしいとしたら叙する fact2: その間引きは食べ易くて自然らしい
fact2 -> int1: その間引きは自然らしい; int1 & fact1 -> hypothesis;
$facts$ = fact1: もしもその間引きが自然らしいとしたら叙する fact2: その間引きは食べ易くて自然らしい ; $hypothesis$ = その間引きは叙しない ; $proof$ = 
fact2 -> int1: その間引きは自然らしい; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもその間引きが自然らしいとしたら叙する
事実2: その間引きは食べ易くて自然らしい

仮説: その間引きは叙しない
1. 事実2から、推論1: "その間引きは自然らしい"が導かれる
2. 推論1と事実1から、仮説が否定される

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