Gibt es Java-Bibliotheken oder -Techniken, um boolesche Ausdrücke stückweise zu analysieren?

Was ich meine, wird folgendermaßen ausgedrückt:

T && ( F || ( F && T ) )

Es könnte in einen Ausdrucksbaum zerlegt werden, um zu zeigen, welches Token den 'F'-Wert verursacht hat (könnte sein etwas wie das):

T &&               <- rhs false
    ( F ||         <- rhs false
        ( F && T ) <- eval, false
    )

Ich versuche, Nicht-Programmierern boolesche Ausdrucksbewertungen mitzuteilen. Ich habe mich bei Anlr umgesehen, aber ich konnte nicht viel damit anfangen (es scheint eine gewisse Lernphase zu haben).

Ich bin nicht dagegen, es selbst zu schreiben, aber ich möchte das Rad lieber nicht neu erfinden.