the Scottie is unreverberant and a falls.
sent1: the Scottie is lacrimal if it does narrate. sent2: something is not a wagonwright. sent3: the Scottie does not distrain if there exists something such that it is not unreverberant. sent4: if that the perithecium is not reverberant hold it is a wagonwright. sent5: if the Scottie is unreverberant it is a kind of a wagonwright. sent6: something is not unknowable if the fact that it is unreverberant and is a wagonwright is wrong. sent7: the perithecium is not a wagonwright if there is something such that it is not a kind of a Judith. sent8: the perithecium is a wagonwright if the Scottie is not a wagonwright. sent9: if the perithecium is not unreverberant then the Scottie is unreverberant and is a falls. sent10: everything is not a podzol. sent11: the Scottie is unreverberant if it is a wagonwright. sent12: if something is not a Judith then that it is unreverberant and it is a wagonwright is not true. sent13: something is not a kind of a Judith. sent14: the gumdrop is reverberant. sent15: the hellbender falls. sent16: the Scottie is a wagonwright. sent17: the Scottie is a kind of a Judith. sent18: if there exists something such that the fact that it does surprise Achoerodus or it does fall or both is wrong then the perithecium is not a Judith. sent19: if the perithecium is not a falls the Scottie falls and is a wagonwright. sent20: the cefadroxil is a Judith. sent21: the Scottie is both a wagonwright and unreverberant. sent22: there are reverberant things. sent23: the semen is a kind of a wagonwright.
void -> assump1: Let's assume that the perithecium is unreverberant.; sent4 & assump1 -> int1: the perithecium is a kind of a wagonwright.; sent13 & sent7 -> int2: the perithecium is not a kind of a wagonwright.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the perithecium is not unreverberant.; int4 & sent9 -> hypothesis;
the perithecium is not unknowable.
sent10 -> int5: the basketweaver is not a podzol.; sent12 -> int6: if the perithecium is not a Judith that it is both unreverberant and a wagonwright does not hold.; sent6 -> int7: the perithecium is not unknowable if that it is both unreverberant and a wagonwright is not right.;
$hypothesis$ = the Scottie is unreverberant and a falls. ; $context$ = sent1: the Scottie is lacrimal if it does narrate. sent2: something is not a wagonwright. sent3: the Scottie does not distrain if there exists something such that it is not unreverberant. sent4: if that the perithecium is not reverberant hold it is a wagonwright. sent5: if the Scottie is unreverberant it is a kind of a wagonwright. sent6: something is not unknowable if the fact that it is unreverberant and is a wagonwright is wrong. sent7: the perithecium is not a wagonwright if there is something such that it is not a kind of a Judith. sent8: the perithecium is a wagonwright if the Scottie is not a wagonwright. sent9: if the perithecium is not unreverberant then the Scottie is unreverberant and is a falls. sent10: everything is not a podzol. sent11: the Scottie is unreverberant if it is a wagonwright. sent12: if something is not a Judith then that it is unreverberant and it is a wagonwright is not true. sent13: something is not a kind of a Judith. sent14: the gumdrop is reverberant. sent15: the hellbender falls. sent16: the Scottie is a wagonwright. sent17: the Scottie is a kind of a Judith. sent18: if there exists something such that the fact that it does surprise Achoerodus or it does fall or both is wrong then the perithecium is not a Judith. sent19: if the perithecium is not a falls the Scottie falls and is a wagonwright. sent20: the cefadroxil is a Judith. sent21: the Scottie is both a wagonwright and unreverberant. sent22: there are reverberant things. sent23: the semen is a kind of a wagonwright. ; $proof$ = 
void -> assump1: Let's assume that the perithecium is unreverberant.; sent4 & assump1 -> int1: the perithecium is a kind of a wagonwright.; sent13 & sent7 -> int2: the perithecium is not a kind of a wagonwright.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the perithecium is not unreverberant.; int4 & sent9 -> hypothesis; __PROVED__