if SPASS fails at finding a proof with the SOS option turned on, turn it off and try again
if SPASS fails at finding a proof with the SOS option turned on, turn it off and try again

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle