Assertion list for term "prove wrong".

Results from Ascent++: 1
prediction CapableOfprove wrong 0.50