the Dubonnet does not unmake practicality.
sent1: the pravastatin gyrates if the handstamp does not jellify and is not a Maoist. sent2: the handstamp does not jellify and is not Maoist. sent3: something unmakes practicality if the fact that it is not anterograde and does gyrate is incorrect. sent4: the handstamp does not unmake practicality if the Dubonnet is not non-Maoist. sent5: if a certificated is not anterograde then the fact that the Dubonnet does not unmake practicality is not incorrect. sent6: the handstamp is a kind of a certificated that does not interrelate footwear. sent7: there is something such that it is not anterograde. sent8: the footwear is both a certificated and not anterograde if the pravastatin does gyrate.
sent1 & sent2 -> int1: the pravastatin gyrates.; int1 & sent8 -> int2: the footwear is both a certificated and not anterograde.; int2 -> int3: something certificates but it is non-anterograde.; int3 & sent5 -> hypothesis;
the Dubonnet does unmake practicality.
sent3 -> int4: if the fact that the Dubonnet is not anterograde but it does gyrate is false then it unmakes practicality.; sent6 -> int5: the handstamp is a certificated.;
$hypothesis$ = the Dubonnet does not unmake practicality. ; $context$ = sent1: the pravastatin gyrates if the handstamp does not jellify and is not a Maoist. sent2: the handstamp does not jellify and is not Maoist. sent3: something unmakes practicality if the fact that it is not anterograde and does gyrate is incorrect. sent4: the handstamp does not unmake practicality if the Dubonnet is not non-Maoist. sent5: if a certificated is not anterograde then the fact that the Dubonnet does not unmake practicality is not incorrect. sent6: the handstamp is a kind of a certificated that does not interrelate footwear. sent7: there is something such that it is not anterograde. sent8: the footwear is both a certificated and not anterograde if the pravastatin does gyrate. ; $proof$ = 
sent1 & sent2 -> int1: the pravastatin gyrates.; int1 & sent8 -> int2: the footwear is both a certificated and not anterograde.; int2 -> int3: something certificates but it is non-anterograde.; int3 & sent5 -> hypothesis; __PROVED__