pattern failed -> refuted