if the polyethylene is a kind of a reversible then the loiterer is not a kind of a lepton.
sent1: the loiterer is nonreversible if the polyethylene is a lepton. sent2: that the loiterer is a reversible hold. sent3: the polyethylene is not reversible if the loiterer is a lepton and is splenic. sent4: the polyethylene is not a judo. sent5: that the loiterer is a kind of a lepton is not false. sent6: the loiterer is a kind of a lepton if the polyethylene is splenic and it is a reversible. sent7: the loiterer is not splenic. sent8: the fact that the loiterer is a lepton hold if the polyethylene is a kind of a reversible. sent9: if the polyethylene is splenic and it is reversible then the loiterer is not a kind of a lepton. sent10: if the loiterer is reversible the polyethylene is not a kind of a lepton. sent11: the polyethylene is anterograde. sent12: the polyethylene is not a reversible if the loiterer is splenic. sent13: the fact that the eulogist is splenic hold. sent14: the safe is a sforzando that is a Tunisian. sent15: the loiterer is a kind of a Gordius. sent16: the polyethylene is ascensional. sent17: the polyethylene is not a lepton. sent18: the firecracker is not splenic. sent19: the loiterer is both homostylous and not irreversible. sent20: the polyethylene is splenic.
void -> assump1: Let's assume that the polyethylene is a reversible.; sent20 & assump1 -> int1: the polyethylene is splenic and it is a reversible.; sent9 & int1 -> int2: the loiterer is not a kind of a lepton.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the polyethylene is a kind of a reversible then the loiterer is not a kind of a lepton. ; $context$ = sent1: the loiterer is nonreversible if the polyethylene is a lepton. sent2: that the loiterer is a reversible hold. sent3: the polyethylene is not reversible if the loiterer is a lepton and is splenic. sent4: the polyethylene is not a judo. sent5: that the loiterer is a kind of a lepton is not false. sent6: the loiterer is a kind of a lepton if the polyethylene is splenic and it is a reversible. sent7: the loiterer is not splenic. sent8: the fact that the loiterer is a lepton hold if the polyethylene is a kind of a reversible. sent9: if the polyethylene is splenic and it is reversible then the loiterer is not a kind of a lepton. sent10: if the loiterer is reversible the polyethylene is not a kind of a lepton. sent11: the polyethylene is anterograde. sent12: the polyethylene is not a reversible if the loiterer is splenic. sent13: the fact that the eulogist is splenic hold. sent14: the safe is a sforzando that is a Tunisian. sent15: the loiterer is a kind of a Gordius. sent16: the polyethylene is ascensional. sent17: the polyethylene is not a lepton. sent18: the firecracker is not splenic. sent19: the loiterer is both homostylous and not irreversible. sent20: the polyethylene is splenic. ; $proof$ = 
void -> assump1: Let's assume that the polyethylene is a reversible.; sent20 & assump1 -> int1: the polyethylene is splenic and it is a reversible.; sent9 & int1 -> int2: the loiterer is not a kind of a lepton.; [assump1] & int2 -> hypothesis; __PROVED__