Premises: Garbage in implies garbage out (first principle of computer science) The input is possibly, but not necessarily garbage (definition of slop)

By the standard methods of modal logic, it follows that it is possible that the output is garbage and therefore slop by definition. QED.