Dalam Bukti wan sanggahan Lakatos membariakan beberapa aturan dasar hagan menamui bukti wan counterexamples hagan dugaan.