the cigarette is a hardware and it is a Avestan.
sent1: that something is non-Avestan hold. sent2: the dickey is not a kind of a haircare. sent3: something does palatalize tenderfoot. sent4: the arthrogram is a Avestan. sent5: that the dickey is not a kind of a Don is true. sent6: the basement palatalizes Rhizophora and is not a Perdix if it does not deflower amarelle. sent7: the ballcock is not a hardware. sent8: the Miniconju is not a heroic if there exists something such that that it is a kind of a heroic that does palatalize bronze is incorrect. sent9: there is something such that the fact that it is a kind of a heroic that palatalizes bronze is false. sent10: if the Miniconju is not a heroic the Singer does harmonize and it is a dicamptodon. sent11: the fact that the cigarette is a hardware and it is a Avestan is false if the dickey does not palatalize tenderfoot. sent12: the fen harmonizes if the Singer harmonizes. sent13: the fen deflowers amarelle if there is something such that the fact that it is not a neutrality and it is not a kind of a sinking is not true. sent14: a Edwardian is anhydrous. sent15: if the fen does deflower amarelle and harmonizes then that the basement does not deflower amarelle is right. sent16: the dickey is a kind of a haircare if there is something such that that it does not palatalize tenderfoot is not wrong. sent17: the cigarette is a margarin. sent18: the cigarette is a Avestan. sent19: the dickey is a kind of unknowable thing that is a Froebel. sent20: the cigarette is not a tap. sent21: there is something such that that the fact that it is not a neutrality and is not a kind of a sinking hold is incorrect. sent22: if that the dent is anhydrous is not wrong then the frigate is not a kind of a ratter and is not a haircare.
void -> assump1: Let's assume that the cigarette does not palatalize tenderfoot.; assump1 -> int1: there is something such that it does not palatalize tenderfoot.; int1 & sent16 -> int2: the dickey is a haircare.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cigarette does palatalize tenderfoot.;
that the cigarette is a hardware that is Avestan does not hold.
sent14 -> int5: the dent is not non-anhydrous if it is a kind of a Edwardian.; sent21 & sent13 -> int6: the fen deflowers amarelle.; sent9 & sent8 -> int7: the Miniconju is not a heroic.; sent10 & int7 -> int8: that the Singer harmonizes and is a kind of a dicamptodon is right.; int8 -> int9: the Singer harmonizes.; sent12 & int9 -> int10: the fen does harmonize.; int6 & int10 -> int11: the fen does deflower amarelle and does harmonize.; sent15 & int11 -> int12: the basement does not deflower amarelle.; sent6 & int12 -> int13: the basement palatalizes Rhizophora and is not a Perdix.; int13 -> int14: something does palatalize Rhizophora but it is not a Perdix.;
$hypothesis$ = the cigarette is a hardware and it is a Avestan. ; $context$ = sent1: that something is non-Avestan hold. sent2: the dickey is not a kind of a haircare. sent3: something does palatalize tenderfoot. sent4: the arthrogram is a Avestan. sent5: that the dickey is not a kind of a Don is true. sent6: the basement palatalizes Rhizophora and is not a Perdix if it does not deflower amarelle. sent7: the ballcock is not a hardware. sent8: the Miniconju is not a heroic if there exists something such that that it is a kind of a heroic that does palatalize bronze is incorrect. sent9: there is something such that the fact that it is a kind of a heroic that palatalizes bronze is false. sent10: if the Miniconju is not a heroic the Singer does harmonize and it is a dicamptodon. sent11: the fact that the cigarette is a hardware and it is a Avestan is false if the dickey does not palatalize tenderfoot. sent12: the fen harmonizes if the Singer harmonizes. sent13: the fen deflowers amarelle if there is something such that the fact that it is not a neutrality and it is not a kind of a sinking is not true. sent14: a Edwardian is anhydrous. sent15: if the fen does deflower amarelle and harmonizes then that the basement does not deflower amarelle is right. sent16: the dickey is a kind of a haircare if there is something such that that it does not palatalize tenderfoot is not wrong. sent17: the cigarette is a margarin. sent18: the cigarette is a Avestan. sent19: the dickey is a kind of unknowable thing that is a Froebel. sent20: the cigarette is not a tap. sent21: there is something such that that the fact that it is not a neutrality and is not a kind of a sinking hold is incorrect. sent22: if that the dent is anhydrous is not wrong then the frigate is not a kind of a ratter and is not a haircare. ; $proof$ = 
void -> assump1: Let's assume that the cigarette does not palatalize tenderfoot.; assump1 -> int1: there is something such that it does not palatalize tenderfoot.; int1 & sent16 -> int2: the dickey is a haircare.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cigarette does palatalize tenderfoot.; __UNKNOWN__