Did you try GPT 3 or GPT 4? The latter can solve the first problem without issues:

    Based on the information you provided, if it rains today, you will drive home.
    However, you mentioned that you did not drive home. Given the logical structure
    of the statement, we can infer that it did not rain today.