if that that the spendthrift is shrubby but it is not a descent is not incorrect does not hold the articulation is a baldhead.
sent1: the articulation is a kind of a baldhead if the Bahai is a formulation. sent2: the Bahai is a kind of a formulation if the fact that the cart does not transgress and is not microcosmic is incorrect. sent3: the fastness does rationalize hoydenism if there exists something such that that it is shrubby and it is not a descent does not hold. sent4: if the fastness does not rationalize hoydenism and is a kind of a forested then the griddlecake is shrubby. sent5: if the fact that the fastness does rationalize hoydenism is not wrong the cart is a forested. sent6: that the fact that something does not transgress and is not microcosmic is wrong if it is a forested is correct. sent7: something is shrubby but it is not a kind of a descent.
void -> assump1: Let's assume that the fact that the spendthrift is shrubby thing that is not a kind of a descent is false.; assump1 -> int1: there is something such that the fact that it is shrubby and it is not a descent is incorrect.; int1 & sent3 -> int2: the fastness rationalizes hoydenism.; int2 & sent5 -> int3: the cart is a kind of a forested.; sent6 -> int4: if the cart is a kind of a forested then that it does not transgress and it is not microcosmic is incorrect.; int3 & int4 -> int5: the fact that the cart does not transgress and it is not microcosmic is not true.; int5 & sent2 -> int6: the Bahai is a formulation.; int6 & sent1 -> int7: the articulation is a baldhead.; [assump1] & int7 -> hypothesis;
the fact that the griddlecake is shrubby is not false.
$hypothesis$ = if that that the spendthrift is shrubby but it is not a descent is not incorrect does not hold the articulation is a baldhead. ; $context$ = sent1: the articulation is a kind of a baldhead if the Bahai is a formulation. sent2: the Bahai is a kind of a formulation if the fact that the cart does not transgress and is not microcosmic is incorrect. sent3: the fastness does rationalize hoydenism if there exists something such that that it is shrubby and it is not a descent does not hold. sent4: if the fastness does not rationalize hoydenism and is a kind of a forested then the griddlecake is shrubby. sent5: if the fact that the fastness does rationalize hoydenism is not wrong the cart is a forested. sent6: that the fact that something does not transgress and is not microcosmic is wrong if it is a forested is correct. sent7: something is shrubby but it is not a kind of a descent. ; $proof$ = 
void -> assump1: Let's assume that the fact that the spendthrift is shrubby thing that is not a kind of a descent is false.; assump1 -> int1: there is something such that the fact that it is shrubby and it is not a descent is incorrect.; int1 & sent3 -> int2: the fastness rationalizes hoydenism.; int2 & sent5 -> int3: the cart is a kind of a forested.; sent6 -> int4: if the cart is a kind of a forested then that it does not transgress and it is not microcosmic is incorrect.; int3 & int4 -> int5: the fact that the cart does not transgress and it is not microcosmic is not true.; int5 & sent2 -> int6: the Bahai is a formulation.; int6 & sent1 -> int7: the articulation is a baldhead.; [assump1] & int7 -> hypothesis; __PROVED__