there exists something such that if it is not a kind of an excess it does not bind Stizostedion.
sent1: the covert does not blue if it is terpsichorean. sent2: the mountain uncorks cool but it does not narrate championship if the cool is a kind of an excess. sent3: if the cool does not bind Stizostedion the fact that it is not a Ornithogalum or it does not sober or both is not true. sent4: the cool is not awnless. sent5: that something does not uncork cool and/or does not bind intertrigo does not hold if it is not plumbic. sent6: something does not bind Stizostedion if that it does not uncork cool and/or it does not bind intertrigo is wrong. sent7: if the cool does not uncork cool then it is both moderate and branchy. sent8: if the cool is not carvel-built then it is non-osseous. sent9: if the fact that the cool is not an excess is not incorrect it is a blues and not plumbic. sent10: the beefsteak uncorks cool and is not fenestral. sent11: that something is not plumbic and/or it does not bind intertrigo is false if it does not blue. sent12: the cool is a kind of an excess if that the americium binds intertrigo is not false.
void -> assump1: Let's assume that the cool is not an excess.; sent9 & assump1 -> int1: the cool is a blues that is not plumbic.; int1 -> int2: the cool is not plumbic.; sent5 -> int3: if the cool is not plumbic then the fact that it does not uncork cool and/or it does not bind intertrigo is wrong.; int2 & int3 -> int4: the fact that the cool does not uncork cool and/or does not bind intertrigo is wrong.; sent6 -> int5: if the fact that either the cool does not uncork cool or it does not bind intertrigo or both is wrong then it does not bind Stizostedion.; int4 & int5 -> int6: the cool does not bind Stizostedion.; [assump1] & int6 -> int7: if the cool is not a kind of an excess then it does not bind Stizostedion.; int7 -> hypothesis;
the mountain uncorks cool and does not narrate championship.
$hypothesis$ = there exists something such that if it is not a kind of an excess it does not bind Stizostedion. ; $context$ = sent1: the covert does not blue if it is terpsichorean. sent2: the mountain uncorks cool but it does not narrate championship if the cool is a kind of an excess. sent3: if the cool does not bind Stizostedion the fact that it is not a Ornithogalum or it does not sober or both is not true. sent4: the cool is not awnless. sent5: that something does not uncork cool and/or does not bind intertrigo does not hold if it is not plumbic. sent6: something does not bind Stizostedion if that it does not uncork cool and/or it does not bind intertrigo is wrong. sent7: if the cool does not uncork cool then it is both moderate and branchy. sent8: if the cool is not carvel-built then it is non-osseous. sent9: if the fact that the cool is not an excess is not incorrect it is a blues and not plumbic. sent10: the beefsteak uncorks cool and is not fenestral. sent11: that something is not plumbic and/or it does not bind intertrigo is false if it does not blue. sent12: the cool is a kind of an excess if that the americium binds intertrigo is not false. ; $proof$ = 
void -> assump1: Let's assume that the cool is not an excess.; sent9 & assump1 -> int1: the cool is a blues that is not plumbic.; int1 -> int2: the cool is not plumbic.; sent5 -> int3: if the cool is not plumbic then the fact that it does not uncork cool and/or it does not bind intertrigo is wrong.; int2 & int3 -> int4: the fact that the cool does not uncork cool and/or does not bind intertrigo is wrong.; sent6 -> int5: if the fact that either the cool does not uncork cool or it does not bind intertrigo or both is wrong then it does not bind Stizostedion.; int4 & int5 -> int6: the cool does not bind Stizostedion.; [assump1] & int6 -> int7: if the cool is not a kind of an excess then it does not bind Stizostedion.; int7 -> hypothesis; __PROVED__