... have two sufficient terms that should occur to give us ... "or" arrow rule (which is negating the sufficient term that you ... proof starting with the original statement) the following is just ... of the last logical statement (our simplified statement) is ~B---> ...