The opposite of the statement is: "x" implies "not y"
The inverse of the statement is if both terms are negated:
"not x" implies "not y"
We have cases where the statement is true (Rain implies clouds) but the inverse is false (not rain does not imply not clouds; it can be cloudy while it does not rain).
