the wicker is entrepreneurial if the hellgrammiate is weighty.
sent1: the wicker is a pouter. sent2: if that either the blueberry is not eugenics or it is a scratcher or both is incorrect then it is a pouter. sent3: the fact that the hellgrammiate is not weighty and/or is a pouter does not hold. sent4: something is a Curtisia if it is a pouter. sent5: the wicker is entrepreneurial if the fact that the blueberry is not a kind of a Curtisia does not hold. sent6: the wicker is weighty if it is entrepreneurial. sent7: if the hellgrammiate is weighty then that the blueberry is either not eugenics or a scratcher or both is not correct. sent8: if the hellgrammiate is a kind of a scratcher the blueberry is weighty. sent9: if the wicker is eugenics then it is entrepreneurial.
void -> assump1: Let's assume that the hellgrammiate is weighty.; sent7 & assump1 -> int1: that the blueberry is not eugenics or it is a scratcher or both does not hold.; int1 & sent2 -> int2: the blueberry is a pouter.; sent4 -> int3: the blueberry is a Curtisia if it is a pouter.; int2 & int3 -> int4: the blueberry is a Curtisia.; int4 & sent5 -> int5: the wicker is entrepreneurial.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the wicker is entrepreneurial if the hellgrammiate is weighty. ; $context$ = sent1: the wicker is a pouter. sent2: if that either the blueberry is not eugenics or it is a scratcher or both is incorrect then it is a pouter. sent3: the fact that the hellgrammiate is not weighty and/or is a pouter does not hold. sent4: something is a Curtisia if it is a pouter. sent5: the wicker is entrepreneurial if the fact that the blueberry is not a kind of a Curtisia does not hold. sent6: the wicker is weighty if it is entrepreneurial. sent7: if the hellgrammiate is weighty then that the blueberry is either not eugenics or a scratcher or both is not correct. sent8: if the hellgrammiate is a kind of a scratcher the blueberry is weighty. sent9: if the wicker is eugenics then it is entrepreneurial. ; $proof$ = 
void -> assump1: Let's assume that the hellgrammiate is weighty.; sent7 & assump1 -> int1: that the blueberry is not eugenics or it is a scratcher or both does not hold.; int1 & sent2 -> int2: the blueberry is a pouter.; sent4 -> int3: the blueberry is a Curtisia if it is a pouter.; int2 & int3 -> int4: the blueberry is a Curtisia.; int4 & sent5 -> int5: the wicker is entrepreneurial.; [assump1] & int5 -> hypothesis; __PROVED__