there is something such that if it is minors it is not unquiet and/or is not a glop.
sent1: if that something is not unquiet and/or it is a kind of a glop does not hold it is a kind of a fuzz. sent2: if the cobbler is a fuzz it is not minors. sent3: the cobbler is unquiet. sent4: there exists something such that if it is minors then either it is unquiet or it is not a kind of a glop or both. sent5: there exists something such that if it is minors it is not unquiet and/or it is a kind of a glop. sent6: if something does comfort auto-da-fe it is not basaltic. sent7: the cobbler either is quiet or is a glop or both if it is minors.
void -> assump2: Let's assume that the fact that the cobbler is not unquiet or is not a glop or both is not true.;
if the fact that the galago does comfort auto-da-fe hold then it is not basaltic.
sent6 -> hypothesis;
$hypothesis$ = there is something such that if it is minors it is not unquiet and/or is not a glop. ; $context$ = sent1: if that something is not unquiet and/or it is a kind of a glop does not hold it is a kind of a fuzz. sent2: if the cobbler is a fuzz it is not minors. sent3: the cobbler is unquiet. sent4: there exists something such that if it is minors then either it is unquiet or it is not a kind of a glop or both. sent5: there exists something such that if it is minors it is not unquiet and/or it is a kind of a glop. sent6: if something does comfort auto-da-fe it is not basaltic. sent7: the cobbler either is quiet or is a glop or both if it is minors. ; $proof$ = 
void -> assump2: Let's assume that the fact that the cobbler is not unquiet or is not a glop or both is not true.; __UNKNOWN__