the mayonnaise does not commercialize excavator.
sent1: the opsonization does not tremble. sent2: the mayonnaise does not commercialize excavator if the opsonization is not a trembles and bathes cockade. sent3: if the lunatic does bathe uncheerfulness then the bandsaw is a UFO. sent4: something that is a one-ten-thousandth is not a trembles and does bathe cockade. sent5: the lunatic does bathe uncheerfulness if the wristlet is a moksa. sent6: the wristlet is a moksa.
sent5 & sent6 -> int1: the lunatic does bathe uncheerfulness.; int1 & sent3 -> int2: the bandsaw is a UFO.; sent4 -> int3: if the opsonization is a kind of a one-ten-thousandth then it is not a trembles and it bathes cockade.;
$hypothesis$ = the mayonnaise does not commercialize excavator. ; $context$ = sent1: the opsonization does not tremble. sent2: the mayonnaise does not commercialize excavator if the opsonization is not a trembles and bathes cockade. sent3: if the lunatic does bathe uncheerfulness then the bandsaw is a UFO. sent4: something that is a one-ten-thousandth is not a trembles and does bathe cockade. sent5: the lunatic does bathe uncheerfulness if the wristlet is a moksa. sent6: the wristlet is a moksa. ; $proof$ = 
sent5 & sent6 -> int1: the lunatic does bathe uncheerfulness.; int1 & sent3 -> int2: the bandsaw is a UFO.; sent4 -> int3: if the opsonization is a kind of a one-ten-thousandth then it is not a trembles and it bathes cockade.; __UNKNOWN__