that the ghrelin either does not close or is not sulcate or both is incorrect.
sent1: the devisor is a kind of a bicycle. sent2: if the umbel closes then the ghrelin does not closes. sent3: if the fact that the umbel does not fool Geoglossum but it is a stumpknocker does not hold then the drapery does not bicycle. sent4: if the devisor is a bicycle then the drapery does bicycle. sent5: if the umbel is a supernatural the fact that the ghrelin either is non-closed or is not sulcate or both is not correct. sent6: something that does not fool Geoglossum cools and is a supernatural.
void -> assump1: Let's assume that that the umbel does not fool Geoglossum but it is a kind of a stumpknocker is not right.; sent3 & assump1 -> int1: the drapery is not a bicycle.; sent4 & sent1 -> int2: that the drapery does bicycle hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the umbel does not fool Geoglossum but it is a stumpknocker.; int4 -> int5: the umbel does not fool Geoglossum.; sent6 -> int6: if the umbel does not fool Geoglossum then it cools and is supernatural.; int5 & int6 -> int7: the umbel is a kind of a cool and it is a kind of a supernatural.; int7 -> int8: the umbel is supernatural.; int8 & sent5 -> hypothesis;
the ghrelin is not closed or it is not sulcate or both.
$hypothesis$ = that the ghrelin either does not close or is not sulcate or both is incorrect. ; $context$ = sent1: the devisor is a kind of a bicycle. sent2: if the umbel closes then the ghrelin does not closes. sent3: if the fact that the umbel does not fool Geoglossum but it is a stumpknocker does not hold then the drapery does not bicycle. sent4: if the devisor is a bicycle then the drapery does bicycle. sent5: if the umbel is a supernatural the fact that the ghrelin either is non-closed or is not sulcate or both is not correct. sent6: something that does not fool Geoglossum cools and is a supernatural. ; $proof$ = 
void -> assump1: Let's assume that that the umbel does not fool Geoglossum but it is a kind of a stumpknocker is not right.; sent3 & assump1 -> int1: the drapery is not a bicycle.; sent4 & sent1 -> int2: that the drapery does bicycle hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the umbel does not fool Geoglossum but it is a stumpknocker.; int4 -> int5: the umbel does not fool Geoglossum.; sent6 -> int6: if the umbel does not fool Geoglossum then it cools and is supernatural.; int5 & int6 -> int7: the umbel is a kind of a cool and it is a kind of a supernatural.; int7 -> int8: the umbel is supernatural.; int8 & sent5 -> hypothesis; __PROVED__