the housefly is corrupt but it is not an absolutist.
sent1: that the housefly corrupts but it is not an absolutist if there exists something such that it is not bryophytic is not wrong. sent2: the saltine is a kind of a divvy if the fact that the browntail is a kind of a pamperer is correct. sent3: the browntail repines saltine. sent4: if something is a kind of a divvy it is not mathematical and it is a pamperer. sent5: the browntail does repine saltine and it is mathematical. sent6: a divvy is not corrupt. sent7: if there is something such that it does not repine saltine then the browntail is tegular. sent8: the housefly is not an absolutist. sent9: something that is a kind of a divvy is eonian. sent10: the saltine is not tegular and does not repine saltine. sent11: the fact that the saltine does not corrupt hold. sent12: if something is noninvasive and tegular then it is not bryophytic. sent13: if something that is not invasive is not tegular it is not bryophytic. sent14: if something does repine saltine the fact that it is not incorrupt and is not a kind of an absolutist is wrong. sent15: a tegular thing does not corrupt. sent16: something is not invasive and it is not tegular if it is eonian. sent17: something is a pamperer if it is mathematical.
sent5 -> int1: the browntail is mathematical.; sent17 -> int2: the browntail is a kind of a pamperer if it is mathematical.; int1 & int2 -> int3: the browntail is a pamperer.; int3 & sent2 -> int4: the saltine is a kind of a divvy.; sent9 -> int5: that if the saltine is the divvy the saltine is eonian is not incorrect.; int4 & int5 -> int6: the saltine is eonian.; sent16 -> int7: the saltine is not invasive and is not tegular if it is eonian.; int6 & int7 -> int8: the saltine is both noninvasive and not tegular.; sent13 -> int9: the saltine is not bryophytic if it is not invasive and it is not tegular.; int8 & int9 -> int10: the saltine is not bryophytic.; int10 -> int11: something is not bryophytic.; int11 & sent1 -> hypothesis;
the fact that the housefly does corrupt but it is not a kind of an absolutist does not hold.
sent14 -> int12: that the housefly is corrupt but it is not an absolutist does not hold if it does repine saltine.; sent4 -> int13: the browntail is non-mathematical a pamperer if it is a kind of a divvy.;
$hypothesis$ = the housefly is corrupt but it is not an absolutist. ; $context$ = sent1: that the housefly corrupts but it is not an absolutist if there exists something such that it is not bryophytic is not wrong. sent2: the saltine is a kind of a divvy if the fact that the browntail is a kind of a pamperer is correct. sent3: the browntail repines saltine. sent4: if something is a kind of a divvy it is not mathematical and it is a pamperer. sent5: the browntail does repine saltine and it is mathematical. sent6: a divvy is not corrupt. sent7: if there is something such that it does not repine saltine then the browntail is tegular. sent8: the housefly is not an absolutist. sent9: something that is a kind of a divvy is eonian. sent10: the saltine is not tegular and does not repine saltine. sent11: the fact that the saltine does not corrupt hold. sent12: if something is noninvasive and tegular then it is not bryophytic. sent13: if something that is not invasive is not tegular it is not bryophytic. sent14: if something does repine saltine the fact that it is not incorrupt and is not a kind of an absolutist is wrong. sent15: a tegular thing does not corrupt. sent16: something is not invasive and it is not tegular if it is eonian. sent17: something is a pamperer if it is mathematical. ; $proof$ = 
sent5 -> int1: the browntail is mathematical.; sent17 -> int2: the browntail is a kind of a pamperer if it is mathematical.; int1 & int2 -> int3: the browntail is a pamperer.; int3 & sent2 -> int4: the saltine is a kind of a divvy.; sent9 -> int5: that if the saltine is the divvy the saltine is eonian is not incorrect.; int4 & int5 -> int6: the saltine is eonian.; sent16 -> int7: the saltine is not invasive and is not tegular if it is eonian.; int6 & int7 -> int8: the saltine is both noninvasive and not tegular.; sent13 -> int9: the saltine is not bryophytic if it is not invasive and it is not tegular.; int8 & int9 -> int10: the saltine is not bryophytic.; int10 -> int11: something is not bryophytic.; int11 & sent1 -> hypothesis; __PROVED__