the plant is not a kind of a sanctimoniousness.
sent1: something is not a kind of a recto if the fact that it is a ream and a posset is not right. sent2: if there exists something such that it is a kind of a TELINT then the fact that the polyelectrolyte bends polyelectrolyte and does not condole caviar is not right. sent3: the plant is a kind of a inkle if it is a sanctimoniousness. sent4: the fact that if something is a TELINT then that it is not a kind of a inkle and it is not a sanctimoniousness does not hold hold. sent5: the plant is a sanctimoniousness if the fact that the polyelectrolyte is a sanctimoniousness hold. sent6: the fact that the polyelectrolyte does not bend polyelectrolyte and does not condole caviar is incorrect if there exists something such that it is a TELINT. sent7: the fact that the plant is a recto but not a sanctimoniousness does not hold if there is something such that it bends polyelectrolyte. sent8: if that something is not a inkle and is not a sanctimoniousness is wrong then it is a kind of a sanctimoniousness. sent9: the fact that something is a kind of a TELINT is right if it is a kind of a inkle. sent10: the juror is a kind of a sanctimoniousness if it is biosystematic. sent11: something is not a kind of a recto if it is not a posset. sent12: that the juror is a kind of a ream that is a posset is not right. sent13: if the fact that something does condole Alka-seltzer and is a cockloft is wrong then it is not a uncongeniality. sent14: if the fact that something does not bend polyelectrolyte and it does not condole caviar is false it is not a recto. sent15: the fact that the polyelectrolyte does not bend polyelectrolyte but it does condole caviar is false. sent16: the fact that the polyelectrolyte does not bend polyelectrolyte but it does condole caviar is false if something is a kind of a TELINT. sent17: if the juror is not a recto then the polyelectrolyte is a recto.
void -> assump1: Let's assume that the plant is a kind of a sanctimoniousness.; sent3 & assump1 -> int1: the plant is a inkle.; sent9 -> int2: the plant is a TELINT if it is a inkle.; int1 & int2 -> int3: the plant is a TELINT.; int3 -> int4: something is a TELINT.; int4 & sent6 -> int5: that the polyelectrolyte does not bend polyelectrolyte and does not condole caviar is false.; sent14 -> int6: the polyelectrolyte is not a recto if the fact that it does not bend polyelectrolyte and it does not condole caviar does not hold.; int5 & int6 -> int7: the polyelectrolyte is not a recto.; sent1 -> int8: if that the juror reams and it is a kind of a posset does not hold then it is not a recto.; int8 & sent12 -> int9: the juror is not a recto.; sent17 & int9 -> int10: the polyelectrolyte is a recto.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the plant is a sanctimoniousness.
sent8 -> int12: the polyelectrolyte is a sanctimoniousness if that it is not a inkle and is not a kind of a sanctimoniousness is not right.; sent4 -> int13: the fact that the polyelectrolyte is both not a inkle and not a sanctimoniousness is incorrect if it is a TELINT.;
$hypothesis$ = the plant is not a kind of a sanctimoniousness. ; $context$ = sent1: something is not a kind of a recto if the fact that it is a ream and a posset is not right. sent2: if there exists something such that it is a kind of a TELINT then the fact that the polyelectrolyte bends polyelectrolyte and does not condole caviar is not right. sent3: the plant is a kind of a inkle if it is a sanctimoniousness. sent4: the fact that if something is a TELINT then that it is not a kind of a inkle and it is not a sanctimoniousness does not hold hold. sent5: the plant is a sanctimoniousness if the fact that the polyelectrolyte is a sanctimoniousness hold. sent6: the fact that the polyelectrolyte does not bend polyelectrolyte and does not condole caviar is incorrect if there exists something such that it is a TELINT. sent7: the fact that the plant is a recto but not a sanctimoniousness does not hold if there is something such that it bends polyelectrolyte. sent8: if that something is not a inkle and is not a sanctimoniousness is wrong then it is a kind of a sanctimoniousness. sent9: the fact that something is a kind of a TELINT is right if it is a kind of a inkle. sent10: the juror is a kind of a sanctimoniousness if it is biosystematic. sent11: something is not a kind of a recto if it is not a posset. sent12: that the juror is a kind of a ream that is a posset is not right. sent13: if the fact that something does condole Alka-seltzer and is a cockloft is wrong then it is not a uncongeniality. sent14: if the fact that something does not bend polyelectrolyte and it does not condole caviar is false it is not a recto. sent15: the fact that the polyelectrolyte does not bend polyelectrolyte but it does condole caviar is false. sent16: the fact that the polyelectrolyte does not bend polyelectrolyte but it does condole caviar is false if something is a kind of a TELINT. sent17: if the juror is not a recto then the polyelectrolyte is a recto. ; $proof$ = 
void -> assump1: Let's assume that the plant is a kind of a sanctimoniousness.; sent3 & assump1 -> int1: the plant is a inkle.; sent9 -> int2: the plant is a TELINT if it is a inkle.; int1 & int2 -> int3: the plant is a TELINT.; int3 -> int4: something is a TELINT.; int4 & sent6 -> int5: that the polyelectrolyte does not bend polyelectrolyte and does not condole caviar is false.; sent14 -> int6: the polyelectrolyte is not a recto if the fact that it does not bend polyelectrolyte and it does not condole caviar does not hold.; int5 & int6 -> int7: the polyelectrolyte is not a recto.; sent1 -> int8: if that the juror reams and it is a kind of a posset does not hold then it is not a recto.; int8 & sent12 -> int9: the juror is not a recto.; sent17 & int9 -> int10: the polyelectrolyte is a recto.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__