the workbench is not a by-line.
sent1: if something does despair and does not ammoniate Acanthocereus then it is not a homebuilder. sent2: the simulacrum is both insensible and not a gerbil. sent3: if there are ipsilateral and epileptic things then the fact that the conquistador is not gerundial hold. sent4: the exorcist is not abstemious. sent5: the exorcist does not coalesce and is non-gerundial if the diapensia is not abstemious. sent6: the exorcist is gerundial. sent7: the caller is an epileptic. sent8: if the exorcist does not coalesce and it is not gerundial the workbench is not gerundial. sent9: there is something such that it is both not non-ipsilateral and not non-gerundial. sent10: that the caller is not a by-line is not false if that the conquistador is ipsilateral but it is not an epileptic is wrong. sent11: if the oncologist is not a homebuilder then that the strontium is not abstemious and it is not a kind of a cyprinid does not hold. sent12: if the workbench is not gerundial then that the conquistador is ipsilateral and is not an epileptic does not hold. sent13: if the exorcist is gerundial but not abstemious then that the conquistador is gerundial hold. sent14: something is epileptic. sent15: there exists something such that it is ipsilateral. sent16: the workbench is not a kind of a by-line if the caller is not ipsilateral. sent17: if the fact that the fact that the caller is not a by-line and is a kind of an epileptic is not incorrect does not hold then the workbench is a by-line. sent18: the diapensia is not abstemious if the fact that the strontium is not abstemious and is not cyprinid is false.
void -> assump1: Let's assume that the caller is ipsilateral.; assump1 & sent7 -> int1: the caller is ipsilateral and an epileptic.; int1 -> int2: something is ipsilateral an epileptic.; int2 & sent3 -> int3: the conquistador is not gerundial.; sent6 & sent4 -> int4: the exorcist is both not non-gerundial and non-abstemious.; sent13 & int4 -> int5: that the conquistador is gerundial hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the caller is not ipsilateral.; int7 & sent16 -> hypothesis;
that the caller is not a by-line is not false.
sent1 -> int8: the oncologist is not a homebuilder if it is a kind of a despair that does not ammoniate Acanthocereus.;
$hypothesis$ = the workbench is not a by-line. ; $context$ = sent1: if something does despair and does not ammoniate Acanthocereus then it is not a homebuilder. sent2: the simulacrum is both insensible and not a gerbil. sent3: if there are ipsilateral and epileptic things then the fact that the conquistador is not gerundial hold. sent4: the exorcist is not abstemious. sent5: the exorcist does not coalesce and is non-gerundial if the diapensia is not abstemious. sent6: the exorcist is gerundial. sent7: the caller is an epileptic. sent8: if the exorcist does not coalesce and it is not gerundial the workbench is not gerundial. sent9: there is something such that it is both not non-ipsilateral and not non-gerundial. sent10: that the caller is not a by-line is not false if that the conquistador is ipsilateral but it is not an epileptic is wrong. sent11: if the oncologist is not a homebuilder then that the strontium is not abstemious and it is not a kind of a cyprinid does not hold. sent12: if the workbench is not gerundial then that the conquistador is ipsilateral and is not an epileptic does not hold. sent13: if the exorcist is gerundial but not abstemious then that the conquistador is gerundial hold. sent14: something is epileptic. sent15: there exists something such that it is ipsilateral. sent16: the workbench is not a kind of a by-line if the caller is not ipsilateral. sent17: if the fact that the fact that the caller is not a by-line and is a kind of an epileptic is not incorrect does not hold then the workbench is a by-line. sent18: the diapensia is not abstemious if the fact that the strontium is not abstemious and is not cyprinid is false. ; $proof$ = 
void -> assump1: Let's assume that the caller is ipsilateral.; assump1 & sent7 -> int1: the caller is ipsilateral and an epileptic.; int1 -> int2: something is ipsilateral an epileptic.; int2 & sent3 -> int3: the conquistador is not gerundial.; sent6 & sent4 -> int4: the exorcist is both not non-gerundial and non-abstemious.; sent13 & int4 -> int5: that the conquistador is gerundial hold.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the caller is not ipsilateral.; int7 & sent16 -> hypothesis; __PROVED__