Task: Misc.
Input (English): prove
Output (English): disprove