the zebrawood is not nonastringent.
sent1: there is something such that it does honk. sent2: the solder is a dumps and it is a cheat if there is something such that it is a honk. sent3: if there exists something such that it is a dumps and is hexangular the zebrawood is not nonastringent. sent4: everything is hexangular and it defrays Elgar.
sent1 & sent2 -> int1: the solder dumps and does cheat.; int1 -> int2: the solder is a dumps.; sent4 -> int3: the fact that the solder is hexangular and it defrays Elgar is true.; int3 -> int4: the solder is hexangular.; int2 & int4 -> int5: the solder is a kind of a dumps and it is hexangular.; int5 -> int6: something is a dumps and is hexangular.; int6 & sent3 -> hypothesis;
$hypothesis$ = the zebrawood is not nonastringent. ; $context$ = sent1: there is something such that it does honk. sent2: the solder is a dumps and it is a cheat if there is something such that it is a honk. sent3: if there exists something such that it is a dumps and is hexangular the zebrawood is not nonastringent. sent4: everything is hexangular and it defrays Elgar. ; $proof$ = 
sent1 & sent2 -> int1: the solder dumps and does cheat.; int1 -> int2: the solder is a dumps.; sent4 -> int3: the fact that the solder is hexangular and it defrays Elgar is true.; int3 -> int4: the solder is hexangular.; int2 & int4 -> int5: the solder is a kind of a dumps and it is hexangular.; int5 -> int6: something is a dumps and is hexangular.; int6 & sent3 -> hypothesis; __PROVED__