there exists something such that if the fact that it is not hyaloplasmic is true the fact that it is a kind of a butterfly and it is not a damp is false.
sent1: the button-quail butterflies. sent2: that the fact that the button-quail contradistinguishes soporific and it is a comedian does not hold hold. sent3: if the button-quail damps and is not a centrex it is a mastering. sent4: if a none does not butterfly it frets spreadsheet.
void -> assump1: Let's assume that the button-quail is both a butterfly and not a damp.;
the button-quail frets spreadsheet if it is both a none and not a butterfly.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not hyaloplasmic is true the fact that it is a kind of a butterfly and it is not a damp is false. ; $context$ = sent1: the button-quail butterflies. sent2: that the fact that the button-quail contradistinguishes soporific and it is a comedian does not hold hold. sent3: if the button-quail damps and is not a centrex it is a mastering. sent4: if a none does not butterfly it frets spreadsheet. ; $proof$ = 
void -> assump1: Let's assume that the button-quail is both a butterfly and not a damp.; __UNKNOWN__