if the Hull does not scour DBA then the virgin does silence Hull and is telluric.
sent1: if something is not a eristic and/or it is not telluric the fact that the Hull is telluric is true. sent2: a chachka is either not a eristic or not telluric or both. sent3: the redshank does scour DBA. sent4: the Hull is bladdery. sent5: if something is not telluric the fact that it does not silence Hull and is not attitudinal does not hold. sent6: the Hull is futuristic. sent7: if that something is attitudinal and/or it does not scour DBA is not wrong the virgin silences Hull. sent8: the virgin is attitudinal if there is something such that it is telluric or it does not silence Hull or both. sent9: that the virgin does not scour DBA is not false. sent10: the Hull is attitudinal or it scours DBA or both. sent11: the fact that the undercut does not frock and it is not a chachka is not true. sent12: something is a chachka if that it is not a kind of a frock and it is not a chachka is wrong. sent13: the virgin is telluric.
void -> assump1: Let's assume that the Hull does not scour DBA.; assump1 -> int1: either the Hull is attitudinal or it does not scour DBA or both.; int1 -> int2: something is attitudinal and/or it does not scour DBA.; int2 & sent7 -> int3: that the virgin does silence Hull is true.; int3 & sent13 -> int4: the virgin silences Hull and it is telluric.; [assump1] & int4 -> hypothesis;
the virgin does not scour DBA.
sent5 -> int5: that the fact that the Hull does not silence Hull and is not attitudinal hold does not hold if it is not telluric.; sent2 -> int6: the undercut is not a eristic and/or is not telluric if it is a chachka.; sent12 -> int7: the undercut is a kind of a chachka if the fact that it is not a kind of a frock and is not a kind of a chachka does not hold.; int7 & sent11 -> int8: the undercut is a chachka.; int6 & int8 -> int9: the undercut is not a kind of a eristic or it is not telluric or both.; int9 -> int10: there exists something such that it is not a eristic and/or is not telluric.; int10 & sent1 -> int11: the Hull is not telluric.; int5 & int11 -> int12: the fact that the Hull does not silence Hull and it is not attitudinal does not hold.; int12 -> int13: there is something such that the fact that it does not silence Hull and it is not attitudinal does not hold.;
$hypothesis$ = if the Hull does not scour DBA then the virgin does silence Hull and is telluric. ; $context$ = sent1: if something is not a eristic and/or it is not telluric the fact that the Hull is telluric is true. sent2: a chachka is either not a eristic or not telluric or both. sent3: the redshank does scour DBA. sent4: the Hull is bladdery. sent5: if something is not telluric the fact that it does not silence Hull and is not attitudinal does not hold. sent6: the Hull is futuristic. sent7: if that something is attitudinal and/or it does not scour DBA is not wrong the virgin silences Hull. sent8: the virgin is attitudinal if there is something such that it is telluric or it does not silence Hull or both. sent9: that the virgin does not scour DBA is not false. sent10: the Hull is attitudinal or it scours DBA or both. sent11: the fact that the undercut does not frock and it is not a chachka is not true. sent12: something is a chachka if that it is not a kind of a frock and it is not a chachka is wrong. sent13: the virgin is telluric. ; $proof$ = 
void -> assump1: Let's assume that the Hull does not scour DBA.; assump1 -> int1: either the Hull is attitudinal or it does not scour DBA or both.; int1 -> int2: something is attitudinal and/or it does not scour DBA.; int2 & sent7 -> int3: that the virgin does silence Hull is true.; int3 & sent13 -> int4: the virgin silences Hull and it is telluric.; [assump1] & int4 -> hypothesis; __PROVED__