if the glucoside is not a nod then the bratwurst is a kind of a pansy.
sent1: the bratwurst is a pansy if the glucoside is an express and adiabatic. sent2: the glucoside is not an express and is adiabatic if it is a kind of a nod. sent3: the pollack is a kind of a pansy that does nod if it is not a resorcinol. sent4: something that is not a kind of a pansy is not a rinse but a bailey. sent5: the glucoside is both not a nod and a pansy if it does not express. sent6: the glucoside is not an express. sent7: the bratwurst is a pansy if the glucoside is not a kind of an express but it is adiabatic. sent8: that the glucoside is not the express if the glucoside does not nod is not wrong. sent9: if the glucoside does not nod it is not an express but adiabatic. sent10: the bratwurst is a kind of a pansy if the glucoside nods. sent11: the bratwurst is a nod if the glucoside is not a pansy.
void -> assump1: Let's assume that the glucoside is not a nod.; sent9 & assump1 -> int1: the glucoside is not an express but it is adiabatic.; sent7 & int1 -> int2: the bratwurst is a pansy.; [assump1] & int2 -> hypothesis;
the caragana is not a rinse but a bailey if that it is not a pansy hold.
sent4 -> hypothesis;
$hypothesis$ = if the glucoside is not a nod then the bratwurst is a kind of a pansy. ; $context$ = sent1: the bratwurst is a pansy if the glucoside is an express and adiabatic. sent2: the glucoside is not an express and is adiabatic if it is a kind of a nod. sent3: the pollack is a kind of a pansy that does nod if it is not a resorcinol. sent4: something that is not a kind of a pansy is not a rinse but a bailey. sent5: the glucoside is both not a nod and a pansy if it does not express. sent6: the glucoside is not an express. sent7: the bratwurst is a pansy if the glucoside is not a kind of an express but it is adiabatic. sent8: that the glucoside is not the express if the glucoside does not nod is not wrong. sent9: if the glucoside does not nod it is not an express but adiabatic. sent10: the bratwurst is a kind of a pansy if the glucoside nods. sent11: the bratwurst is a nod if the glucoside is not a pansy. ; $proof$ = 
void -> assump1: Let's assume that the glucoside is not a nod.; sent9 & assump1 -> int1: the glucoside is not an express but it is adiabatic.; sent7 & int1 -> int2: the bratwurst is a pansy.; [assump1] & int2 -> hypothesis; __PROVED__