the antitrades does irradiate fleet.
sent1: if the polony is not a prolapse and is not a Malaysian the platen does lexicalize serger. sent2: the antitrades irradiates fleet if the shepherd is a kind of a diagnostician. sent3: if something is Sisyphean then it does not prolapse and it is not a kind of a Malaysian. sent4: the polony is not non-Sisyphean. sent5: the antitrades does not irradiate fleet if that the platen does not lexicalize serger or it does irradiate fleet or both does not hold. sent6: if the platen lexicalizes DOS that the shepherd is inexpressible but it does not lexicalizes DOS is not true. sent7: if the shepherd is not inexpressible then it is a kind of a diagnostician. sent8: if the platen does lexicalize serger then it lexicalizes DOS.
sent3 -> int1: the polony does not prolapse and is not Malaysian if it is Sisyphean.; int1 & sent4 -> int2: the polony is both not a prolapse and not Malaysian.; int2 & sent1 -> int3: the platen lexicalizes serger.; int3 & sent8 -> int4: the platen does lexicalize DOS.; int4 & sent6 -> int5: the fact that the shepherd is inexpressible but it does not lexicalize DOS is not correct.;
the antitrades does not irradiate fleet.
$hypothesis$ = the antitrades does irradiate fleet. ; $context$ = sent1: if the polony is not a prolapse and is not a Malaysian the platen does lexicalize serger. sent2: the antitrades irradiates fleet if the shepherd is a kind of a diagnostician. sent3: if something is Sisyphean then it does not prolapse and it is not a kind of a Malaysian. sent4: the polony is not non-Sisyphean. sent5: the antitrades does not irradiate fleet if that the platen does not lexicalize serger or it does irradiate fleet or both does not hold. sent6: if the platen lexicalizes DOS that the shepherd is inexpressible but it does not lexicalizes DOS is not true. sent7: if the shepherd is not inexpressible then it is a kind of a diagnostician. sent8: if the platen does lexicalize serger then it lexicalizes DOS. ; $proof$ = 
sent3 -> int1: the polony does not prolapse and is not Malaysian if it is Sisyphean.; int1 & sent4 -> int2: the polony is both not a prolapse and not Malaysian.; int2 & sent1 -> int3: the platen lexicalizes serger.; int3 & sent8 -> int4: the platen does lexicalize DOS.; int4 & sent6 -> int5: the fact that the shepherd is inexpressible but it does not lexicalize DOS is not correct.; __UNKNOWN__