the combine is a kind of a bigram.
sent1: the petitioner is Atlantic. sent2: the petitioner is a spot and it is Atlantic. sent3: if the hooch rebels the combine is a bigram. sent4: the hooch is a bigram. sent5: the hooch rebels if the extraction is a flagpole. sent6: if the petitioner is a flagpole that the extraction is a spot is right. sent7: if the tobacconist is a flagpole the extraction does brief ethchlorvynol. sent8: the tobacconist mangles Cancridae and/or is a kind of a bluepoint. sent9: the gudgeon does not incorporate lobed. sent10: something briefs ethchlorvynol and it incorporates likelihood. sent11: something is a spot if that it is both not a spot and a Atlantic is incorrect. sent12: if the combine is a Atlantic the petitioner is a bigram. sent13: the extraction does rebel if the tobacconist is lacrimatory. sent14: if the fact that the petitioner is a Atlantic that is non-lacrimatory is not wrong then the extraction does rebel. sent15: if the extraction is not a flagpole then the fact that the tobacconist briefs ethchlorvynol and incorporates likelihood is false. sent16: that something does not spot and is a Atlantic does not hold if the fact that it does rebel is not wrong. sent17: that the fact that the petitioner is not a spot hold if there exists something such that that it does brief ethchlorvynol and incorporates likelihood is not right is not wrong. sent18: if there exists something such that it does not incorporate likelihood then the petitioner does not spot. sent19: the fact that something is lacrimatory hold if the fact that it is a bluepoint hold. sent20: there exists something such that that it is a kind of a Kadai that is a filter is wrong. sent21: that something is not a flagpole but it is a bigram is wrong if it spots. sent22: the petitioner does incorporate likelihood and it does tinsel wing. sent23: if something mangles Cancridae then that it is lacrimatory is not wrong. sent24: the tobacconist is both a bigram and a flagpole if the extraction is not a spot.
void -> assump1: Let's assume that the fact that the extraction is not a flagpole is true.; sent15 & assump1 -> int1: the fact that the tobacconist does brief ethchlorvynol and it does incorporate likelihood does not hold.; int1 -> int2: there exists something such that that it briefs ethchlorvynol and it incorporates likelihood does not hold.; int2 & sent17 -> int3: the petitioner is not a spot.; sent2 -> int4: the petitioner is a spot.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the extraction is a kind of a flagpole.; int6 & sent5 -> int7: the hooch rebels.; int7 & sent3 -> hypothesis;
the fact that the combine is not a kind of a bigram is not wrong.
sent21 -> int8: that the extraction is not a flagpole but it is a bigram is wrong if it does spot.; sent11 -> int9: if the fact that the extraction is not a spot but it is a Atlantic does not hold it is a kind of a spot.; sent16 -> int10: if the extraction does rebel that it is not a spot but a Atlantic does not hold.; sent23 -> int11: the tobacconist is lacrimatory if it mangles Cancridae.; sent19 -> int12: that the tobacconist is lacrimatory if the tobacconist is a bluepoint is true.; sent8 & int11 & int12 -> int13: the tobacconist is lacrimatory.; sent13 & int13 -> int14: the extraction does rebel.; int10 & int14 -> int15: the fact that the extraction is not a spot but a Atlantic does not hold.; int9 & int15 -> int16: the extraction is a spot.; int8 & int16 -> int17: the fact that the extraction is not a kind of a flagpole but it is a bigram is not true.; int17 -> int18: there is something such that that it is not a flagpole but a bigram is not right.;
$hypothesis$ = the combine is a kind of a bigram. ; $context$ = sent1: the petitioner is Atlantic. sent2: the petitioner is a spot and it is Atlantic. sent3: if the hooch rebels the combine is a bigram. sent4: the hooch is a bigram. sent5: the hooch rebels if the extraction is a flagpole. sent6: if the petitioner is a flagpole that the extraction is a spot is right. sent7: if the tobacconist is a flagpole the extraction does brief ethchlorvynol. sent8: the tobacconist mangles Cancridae and/or is a kind of a bluepoint. sent9: the gudgeon does not incorporate lobed. sent10: something briefs ethchlorvynol and it incorporates likelihood. sent11: something is a spot if that it is both not a spot and a Atlantic is incorrect. sent12: if the combine is a Atlantic the petitioner is a bigram. sent13: the extraction does rebel if the tobacconist is lacrimatory. sent14: if the fact that the petitioner is a Atlantic that is non-lacrimatory is not wrong then the extraction does rebel. sent15: if the extraction is not a flagpole then the fact that the tobacconist briefs ethchlorvynol and incorporates likelihood is false. sent16: that something does not spot and is a Atlantic does not hold if the fact that it does rebel is not wrong. sent17: that the fact that the petitioner is not a spot hold if there exists something such that that it does brief ethchlorvynol and incorporates likelihood is not right is not wrong. sent18: if there exists something such that it does not incorporate likelihood then the petitioner does not spot. sent19: the fact that something is lacrimatory hold if the fact that it is a bluepoint hold. sent20: there exists something such that that it is a kind of a Kadai that is a filter is wrong. sent21: that something is not a flagpole but it is a bigram is wrong if it spots. sent22: the petitioner does incorporate likelihood and it does tinsel wing. sent23: if something mangles Cancridae then that it is lacrimatory is not wrong. sent24: the tobacconist is both a bigram and a flagpole if the extraction is not a spot. ; $proof$ = 
void -> assump1: Let's assume that the fact that the extraction is not a flagpole is true.; sent15 & assump1 -> int1: the fact that the tobacconist does brief ethchlorvynol and it does incorporate likelihood does not hold.; int1 -> int2: there exists something such that that it briefs ethchlorvynol and it incorporates likelihood does not hold.; int2 & sent17 -> int3: the petitioner is not a spot.; sent2 -> int4: the petitioner is a spot.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the extraction is a kind of a flagpole.; int6 & sent5 -> int7: the hooch rebels.; int7 & sent3 -> hypothesis; __PROVED__