google's ai is neither able to correctly define modus ponens nor to correctly define denying the antecedent.

it's not set to take over the world quite yet.