そのＰＣＴＳは抜け易いということはない
fact1: もしなにがしかの物が絶やすとすると抜け易いということはなくておまけにそれはしんどい fact2: この貯蓄目的は抜け易い fact3: もし仮にこの閉園が絶やせばそのＰＣＴＳは絶やす fact4: そのＰＣＴＳは抜け易い
fact4 -> hypothesis;
fact4 -> hypothesis;
そのＰＣＴＳは抜け易くない
fact5 -> int1: 仮にそのＰＣＴＳが絶やすとすればそれは抜け易いということはない一方でしんどい;
$facts$ = fact1: もしなにがしかの物が絶やすとすると抜け易いということはなくておまけにそれはしんどい fact2: この貯蓄目的は抜け易い fact3: もし仮にこの閉園が絶やせばそのＰＣＴＳは絶やす fact4: そのＰＣＴＳは抜け易い ; $hypothesis$ = そのＰＣＴＳは抜け易いということはない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が絶やすとすると抜け易いということはなくておまけにそれはしんどい
事実2: この貯蓄目的は抜け易い
事実3: もし仮にこの閉園が絶やせばそのＰＣＴＳは絶やす
事実4: そのＰＣＴＳは抜け易い

仮説: そのＰＣＴＳは抜け易いということはない
1. 事実4から、仮説が否定される

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