Устранение неоднозначности интерфейса Java в параметрах метода

У меня есть дерево логических операций из логического выражения, которое мне нужно запустить в Java. Дерево будет примерно таким: И мне нужно было бы запускать его на Java итеративно, чтобы он возвращал мне логическое значение.

boolean b = AND(isNumberEven("4"), AND(isNumberOdd("7"), isNumberEven("6"))

Проблема в том, что мне нужно написать интерфейсы, так как в моей компании мы могли бы создать множество классов, таких как And, Or, isSomething, hasInArray (это может быть любое свойство, необходимое другим разработчикам). Обычно у нас есть два типа узлов: логические, которые имеют две ветви, и узлы проверки свойств, которые являются листьями дерева.

То, что я пытался сделать ниже, я думаю, что это действительно неправильно в Java, пожалуйста, помогите мне сделать это правильно.

Моя идея состояла в том, чтобы создать два интерфейса, один для логических операторов, а другой для проверки свойств. Средство проверки свойств должно оценить свое свойство на входе, в то время как логический оператор должен оценить две ветви, а затем что-то вычислить с двумя результатами (например, И или ИЛИ, нас пока не волнует оператор НЕ). . Я думал сделать эти интерфейсы

class PropertyCheckingInput {
   String s; // dummy property, this object is the thing we want to verify the property on (example, if this string is an even number)

   PropertyCheckingInput(...){...} // constructor for all params
}

interface PropertyChecking {
   boolean fire(PropertyCheckingInput i);
}

class LogicOperatorInput<
   T extends LogicOperator or PropertyChecking, // it can be one or the other
   Ti extends LogicOperatorInput or PropertyCheckingInput
> {
    T left;
    Ti leftInput;
    T right;
    Ti rightInput;

    // probabily the type of leftInput should act accordingly to the type of left, but I don't know how to enforce this in Java with generics

    LogicOperatorInput(...){...} // constructor for all params
}

interface LogicOperator{
   boolean fire(LogicOperatorInput i); 
}

В этом случае, если я хочу реализовать что-то вроде И, я мог бы сделать это как

class And implements LogicOperator {
    boolean fire(LogicOperatorInput i) {
        i.left.fire(i.leftInput) && i.right.fire(i.rightInput);
    }

    And() {}

    public static void main(String[] args) {
        // expression: isNumberEven("4") AND isNumberOdd("7") AND isNumberEven("6")
        boolean b = new And().fire(new LogicOperatorInput(
            new isNumberEven(), 
            new PropertyCheckingInput("4"), 
            new And(), 
            new LogicOperatorInput(
                new isNumberOdd(), 
                new PropertyCheckingInput("7"), 
                new isNumberEven(), 
                new PropertyCheckingInput("6"))
        ));

        System.out.println(b);
    }
}

Для каждой ветки я выполняю функцию fire как слева, так и справа с их вводом и забочусь только об их результате. Затем, если я хочу создать логическое выражение, я объединяю различные узлы и входные данные.

Компиляторы, конечно же, говорят мне, что это неправильно, потому что они не могут определить правильный тип функций fire().

Я привык писать на Javascript, который позволяет такие вещи, потому что он не проверяет, что вы пытаетесь сделать. Есть ли способ сделать это в Java (я пытался использовать некоторые дженерики или абстрактные классы, но это не сработало) или, что еще лучше, правильный способ решить эту проблему (где у нас есть двоичное выражение, записанное в виде двоичного дерева, и мы хотите разрешить это, вызвав класс, связанный с каждым узлом)?