jclaveau / php-logical-filter

        if ( ! empty($operandsByOperator[ InRule::operator ])) {

            $inRule = $operandsByOperator[ InRule::operator ][0];

            if ( ! empty($operandsByOperator[ NotInRule::operator ])) {

                $notInRule = reset($operandsByOperator[ NotInRule::operator ]);

                $operandsByOperator[ InRule::operator ][0]->setPossibilities(

                    array_diff( $inRule->getPossibilities(), $notInRule->getPossibilities())

                );

                unset($operandsByOperator[ NotInRule::operator ]);

            }

            if ( ! empty($operandsByOperator[ BelowRule::operator ])) {

                $upper_limit = reset($operandsByOperator[ BelowRule::operator ])->getMaximum();

                unset($operandsByOperator[ NotInRule::operator ]);

            }

            if ( ! empty($operandsByOperator[ BelowRule::operator ])) {

                $upper_limit = reset($operandsByOperator[ BelowRule::operator ])->getMaximum();

                $operandsByOperator[ InRule::operator ][0]->setPossibilities(

                    array_filter( $inRule->getPossibilities(), function ($possibility) use ($upper_limit) {

                        return $possibility < $upper_limit;

                    } )

                );

                unset($operandsByOperator[ BelowRule::operator ]);

            }

            if ( ! empty($operandsByOperator[ AboveRule::operator ])) {

                $lower_limit = reset($operandsByOperator[ AboveRule::operator ])->getMinimum();

                unset($operandsByOperator[ BelowRule::operator ]);

            }

            if ( ! empty($operandsByOperator[ AboveRule::operator ])) {

                $lower_limit = reset($operandsByOperator[ AboveRule::operator ])->getMinimum();

                $operandsByOperator[ InRule::operator ][0]->setPossibilities(

                    array_filter( $inRule->getPossibilities(), function ($possibility) use ($lower_limit) {

                        return $possibility > $lower_limit;

                    } )

                );

                unset($operandsByOperator[ AboveRule::operator ]);

            }

        }

        // Comparison between NotInRules and > or <

        if ( ! empty($operandsByOperator[ NotInRule::operator ])) {

            $notInRule = $operandsByOperator[ NotInRule::operator ][0];

            if ( ! empty($operandsByOperator[ BelowRule::operator ])) {

                $upper_limit = reset($operandsByOperator[ BelowRule::operator ])->getUpperLimit();

                $operandsByOperator[ NotInRule::operator ][0]->setPossibilities(

                    array_filter( $notInRule->getPossibilities(), function ($possibility) use ($upper_limit) {

                        return $possibility < $upper_limit;

                    } )

                );

            }

            if ( ! empty($operandsByOperator[ AboveRule::operator ])) {

                $lower_limit = reset($operandsByOperator[ AboveRule::operator ])->getMinimum();

                );

            }

            if ( ! empty($operandsByOperator[ AboveRule::operator ])) {

                $lower_limit = reset($operandsByOperator[ AboveRule::operator ])->getMinimum();

                $operandsByOperator[ NotInRule::operator ][0]->setPossibilities(

                    array_filter( $notInRule->getPossibilities(), function ($possibility) use ($lower_limit) {

                        return $possibility > $lower_limit;

                    } )

                );

            }

        }

        // Comparison between <= and > or <