So, I've been noodling with this for a while, and here's where I'm at. Code here: https://github.com/evanp/inaccurate_comparator
Basically, I realized that what I'm looking for is evidence in the output of a "real" difference. And that evidence can be direct or indirect: either I get "A > E" as output, or I get "A > B" and "B > E", which given the transitivity of the (real) operator, is also good.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.