この磨き方は日割り計算するということはない
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から、仮説が否定される

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