I'm having trouble translating several phrases to FOL statements
a. No husband, who gives wife presents can be cross-grained.
b. No husband can failed to be cross-grained, if his wife does not keep him in proper order.
Which I translated to
Setting the Universe of discourse to be husbands
a. $¬∃x\big(GivesPresent(x) ⟹Crossgrained(x) \big)$
b. $¬∃x\big(¬KeepinCheck(x) ⟹¬Crossgrained(x) \big)$