you should be able to see that this is not the case. This means that there must be at least one mistake in the equation. Can you spot all the errors? Note: set the input on a line to true if the current line equals/entails the next line (as indicated), and set it to false if the current line does not equal/entail the next line.