the apartment does not grate Mountie and it does not undercut pepperwort.
sent1: everything orbs. sent2: the Englishwoman undercuts pepperwort if the anole is plagioclastic. sent3: the apartment does not grate Mountie and it does not undercut pepperwort if the Englishwoman undercut pepperwort. sent4: the anole is plagioclastic if that the fetus is a FIFO hold. sent5: the anole is not a hydrazine and does not grate Mountie. sent6: the Englishwoman is not a FIFO and it does not undercut pepperwort if the fetus does undercut pepperwort. sent7: the anole undercuts pepperwort. sent8: the merchant does grate Mountie. sent9: everything is a FIFO. sent10: something is a kind of a FIFO if it is plagioclastic. sent11: the fetus is plagioclastic if the anole is a kind of a FIFO. sent12: the apartment does undercut pepperwort if the Englishwoman does grate Mountie. sent13: the fact that the anole is not inelegant is true. sent14: if the Englishwoman does undercut pepperwort the apartment does not undercut pepperwort. sent15: the Englishwoman is plagioclastic. sent16: everything is syncarpous. sent17: the fetus is not lymphatic and it is not a kind of a Madeiras. sent18: the apartment is not non-plagioclastic. sent19: the apartment does not undercut pepperwort.
sent9 -> int1: the fetus is a kind of a FIFO.; sent4 & int1 -> int2: the anole is plagioclastic.; sent2 & int2 -> int3: the fact that the Englishwoman undercuts pepperwort hold.; sent3 & int3 -> hypothesis;
the fact that the apartment does not grate Mountie and it does not undercut pepperwort is not true.
sent10 -> int4: if the apartment is plagioclastic then it is a FIFO.; sent13 -> int5: there exists something such that it is not inelegant.;
$hypothesis$ = the apartment does not grate Mountie and it does not undercut pepperwort. ; $context$ = sent1: everything orbs. sent2: the Englishwoman undercuts pepperwort if the anole is plagioclastic. sent3: the apartment does not grate Mountie and it does not undercut pepperwort if the Englishwoman undercut pepperwort. sent4: the anole is plagioclastic if that the fetus is a FIFO hold. sent5: the anole is not a hydrazine and does not grate Mountie. sent6: the Englishwoman is not a FIFO and it does not undercut pepperwort if the fetus does undercut pepperwort. sent7: the anole undercuts pepperwort. sent8: the merchant does grate Mountie. sent9: everything is a FIFO. sent10: something is a kind of a FIFO if it is plagioclastic. sent11: the fetus is plagioclastic if the anole is a kind of a FIFO. sent12: the apartment does undercut pepperwort if the Englishwoman does grate Mountie. sent13: the fact that the anole is not inelegant is true. sent14: if the Englishwoman does undercut pepperwort the apartment does not undercut pepperwort. sent15: the Englishwoman is plagioclastic. sent16: everything is syncarpous. sent17: the fetus is not lymphatic and it is not a kind of a Madeiras. sent18: the apartment is not non-plagioclastic. sent19: the apartment does not undercut pepperwort. ; $proof$ = 
sent9 -> int1: the fetus is a kind of a FIFO.; sent4 & int1 -> int2: the anole is plagioclastic.; sent2 & int2 -> int3: the fact that the Englishwoman undercuts pepperwort hold.; sent3 & int3 -> hypothesis; __PROVED__