the bier is polyatomic but it does not sicken Krishnaism if the flip-flop is unostentatious.
sent1: the bier does not headline. sent2: the doll does sicken Krishnaism. sent3: if the bier is not non-high-interest the flip-flop is unostentatious but it is non-polyatomic. sent4: the dromedary is a squared but it is not a acetal. sent5: the bier does not sicken bier. sent6: a unostentatious thing sickens Krishnaism and does not gather Kant. sent7: the fact that the strophanthin is not polyatomic hold. sent8: if the flip-flop is unostentatious the bier is polyatomic. sent9: the flip-flop sickens Krishnaism. sent10: if the flip-flop is a inflorescence but it does not sicken Krishnaism it is not unostentatious. sent11: the bier is not high-interest. sent12: the bier is a inflorescence but it is not high-interest. sent13: the fact that the bier does not sicken Krishnaism hold if it is a inflorescence and it is not high-interest. sent14: the bier sickens Krishnaism and is not unostentatious if the flip-flop is a kind of a inflorescence. sent15: if the bier is polyatomic then the flip-flop sickens Krishnaism. sent16: if the bier is a kind of unostentatious thing that is not a inflorescence then the fact that it is not polyatomic is true. sent17: the bier is not a inflorescence if it is not ostentatious and it is polyatomic. sent18: the bier is a shrillness. sent19: the flip-flop is polyatomic. sent20: the flip-flop is both unostentatious and not a inflorescence. sent21: that the bier is not polyatomic hold if it is a inflorescence and it is unostentatious.
void -> assump1: Let's assume that the flip-flop is unostentatious.; sent8 & assump1 -> int1: the bier is polyatomic.; sent13 & sent12 -> int2: the fact that the bier does not sicken Krishnaism is not wrong.; int1 & int2 -> int3: the bier is polyatomic but it does not sicken Krishnaism.; [assump1] & int3 -> hypothesis;
the OD sickens Krishnaism but it does not gather Kant.
sent6 -> int4: if the OD is unostentatious it does sicken Krishnaism and does not gather Kant.;
$hypothesis$ = the bier is polyatomic but it does not sicken Krishnaism if the flip-flop is unostentatious. ; $context$ = sent1: the bier does not headline. sent2: the doll does sicken Krishnaism. sent3: if the bier is not non-high-interest the flip-flop is unostentatious but it is non-polyatomic. sent4: the dromedary is a squared but it is not a acetal. sent5: the bier does not sicken bier. sent6: a unostentatious thing sickens Krishnaism and does not gather Kant. sent7: the fact that the strophanthin is not polyatomic hold. sent8: if the flip-flop is unostentatious the bier is polyatomic. sent9: the flip-flop sickens Krishnaism. sent10: if the flip-flop is a inflorescence but it does not sicken Krishnaism it is not unostentatious. sent11: the bier is not high-interest. sent12: the bier is a inflorescence but it is not high-interest. sent13: the fact that the bier does not sicken Krishnaism hold if it is a inflorescence and it is not high-interest. sent14: the bier sickens Krishnaism and is not unostentatious if the flip-flop is a kind of a inflorescence. sent15: if the bier is polyatomic then the flip-flop sickens Krishnaism. sent16: if the bier is a kind of unostentatious thing that is not a inflorescence then the fact that it is not polyatomic is true. sent17: the bier is not a inflorescence if it is not ostentatious and it is polyatomic. sent18: the bier is a shrillness. sent19: the flip-flop is polyatomic. sent20: the flip-flop is both unostentatious and not a inflorescence. sent21: that the bier is not polyatomic hold if it is a inflorescence and it is unostentatious. ; $proof$ = 
void -> assump1: Let's assume that the flip-flop is unostentatious.; sent8 & assump1 -> int1: the bier is polyatomic.; sent13 & sent12 -> int2: the fact that the bier does not sicken Krishnaism is not wrong.; int1 & int2 -> int3: the bier is polyatomic but it does not sicken Krishnaism.; [assump1] & int3 -> hypothesis; __PROVED__