「「もし仮に委託業務である一方で繁殖し易くないならば益無し」ものはある」ということは成り立たない
fact1: もしその蚯蚓触手が委託業務であるしかつ繁殖し易いとすると益無し fact2: 繁殖し易くない委託業務は益無し
fact2 -> int1: 仮にその蚯蚓触手が委託業務だけど繁殖し易いということはないとすればそれは益無し; int1 -> hypothesis;
$facts$ = fact1: もしその蚯蚓触手が委託業務であるしかつ繁殖し易いとすると益無し fact2: 繁殖し易くない委託業務は益無し ; $hypothesis$ = 「「もし仮に委託業務である一方で繁殖し易くないならば益無し」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 仮にその蚯蚓触手が委託業務だけど繁殖し易いということはないとすればそれは益無し; int1 -> hypothesis; __DISPROVED__
事実1: もしその蚯蚓触手が委託業務であるしかつ繁殖し易いとすると益無し
事実2: 繁殖し易くない委託業務は益無し

仮説: 「「もし仮に委託業務である一方で繁殖し易くないならば益無し」ものはある」ということは成り立たない
1. 事実2から、推論1: "仮にその蚯蚓触手が委託業務だけど繁殖し易いということはないとすればそれは益無し"が導かれる
2. 推論1から、仮説が否定される

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