I think the main problem is in “goes around”, although HH::the Sun != AA::The Sun and HH::the Earth probably != AA::the Earth, the latter two shouldn’t matter as much.
HH believes “HH:(text X)” is true and AA believes “AA::(text Y)” is true, which isn’t interesting. What’s interesting are three things: that AA::(text X) has meaning, AA::(text X) != AA::(text Y), and if AA::(text X) then NOT AA::(text Y).
I think the main problem is in “goes around”, although HH::the Sun != AA::The Sun and HH::the Earth probably != AA::the Earth, the latter two shouldn’t matter as much.
HH believes “HH:(text X)” is true and AA believes “AA::(text Y)” is true, which isn’t interesting. What’s interesting are three things: that AA::(text X) has meaning, AA::(text X) != AA::(text Y), and if AA::(text X) then NOT AA::(text Y).