NO
Did not drop rules.
Inlined conditions for 0 rules.
Left-inlined conditions for 0 rules.
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.
FEASIBLE with
{x/0(),x1/x2,x2/x2,x3/0()}