The inequality should be solved using the 'Graph' tab.  The inequalities are reduced "to standard form" and that particular inequality has one solution "x<1".  Clicking on a particular solution step provides the logic which is applied.