the development is not proximate if the dresser does not flame conessi.
sent1: the dresser is continual. sent2: a cyclonic thing is a kind of a stein. sent3: that the dresser is a goatee is not wrong. sent4: the fact that the springboard does flame conessi is not false. sent5: something is proximate if it is cyclonic. sent6: if the development is proximate it is cyclonic. sent7: the fact that the dresser does flame conessi is true if the development is a kind of a stein. sent8: the development is not proximate if the dresser flames conessi. sent9: the development is not a collocation. sent10: something does flame conessi if it is cyclonic. sent11: if the dresser is a kind of a stein then the development flames conessi. sent12: if the dresser does not flame conessi then the development is proximate. sent13: the fact that the dresser is a stein hold.
void -> assump1: Let's assume that the development is proximate.; sent6 & assump1 -> int1: the development is cyclonic.; sent2 -> int2: if the development is cyclonic then it is a stein.; int1 & int2 -> int3: that the development is a stein is not wrong.; int3 & sent7 -> int4: the dresser does flame conessi.; void -> assump2: Let's assume that the dresser does not flame conessi.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the development is not proximate.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the development is not proximate if the dresser does not flame conessi. ; $context$ = sent1: the dresser is continual. sent2: a cyclonic thing is a kind of a stein. sent3: that the dresser is a goatee is not wrong. sent4: the fact that the springboard does flame conessi is not false. sent5: something is proximate if it is cyclonic. sent6: if the development is proximate it is cyclonic. sent7: the fact that the dresser does flame conessi is true if the development is a kind of a stein. sent8: the development is not proximate if the dresser flames conessi. sent9: the development is not a collocation. sent10: something does flame conessi if it is cyclonic. sent11: if the dresser is a kind of a stein then the development flames conessi. sent12: if the dresser does not flame conessi then the development is proximate. sent13: the fact that the dresser is a stein hold. ; $proof$ = 
void -> assump1: Let's assume that the development is proximate.; sent6 & assump1 -> int1: the development is cyclonic.; sent2 -> int2: if the development is cyclonic then it is a stein.; int1 & int2 -> int3: that the development is a stein is not wrong.; int3 & sent7 -> int4: the dresser does flame conessi.; void -> assump2: Let's assume that the dresser does not flame conessi.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the development is not proximate.; [assump2] & int6 -> hypothesis; __PROVED__