I am facing problem in translating these statements to logic statements.
Some horses are gentle only if they have been well trained.
Some horses are gentle if they have been well trained.
I am not able to differentiate the above two statements.
$Hx$: $x$ is a horse. $Gx$: $x$ is gentle. $Tx$: $x$ has been well trained.
I translated the first statement as $\exists x (Hx\rightarrow (Tx \rightarrow Gx))$.