The inference from Fred believes John likes Mary to John likes Mary is clearly not semantically valid.
the AMR triples cannot be interpreted as stating semantic-web style facts; rather they state sub-formulas of a logical form.