Problem $3(4$ pts$.,1$ pt$.$ each$)$: General Hoare Triples

A$,$ B$,$ C$,$ D$,$ E$,$ and F are logical conditions $($logical formulas$).$ The following are true:

$AB($A implies $B,$ i$.$e$.,A$ is stronger than $B)$

$BC$

$CB$

$DE$

$EF$

$DG$

B