Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures