Assertion list for term "prove thing".

Results from Ascent++: 2
mathematician CapableOfprove thing 0.45
logic CapableOfprove thing 0.34