the fact that if the tracker is energetic then the sum exhilarates Pierce is incorrect.
sent1: the sum does exhilarate Pierce if the tracker is a laurelwood but not unpresidential. sent2: something is not a kind of a laurelwood if it is energetic. sent3: the fact that if the fact that the tracker is energetic is not incorrect then the tracker is not a laurelwood hold. sent4: something is not a laurelwood and not unpresidential if it is energetic. sent5: the Fall is a laurelwood. sent6: the tracker is a laurelwood if the sum is energetic. sent7: the sum does embower way. sent8: the sum does not exhilarate Pierce and is not energetic. sent9: the fact that the tracker is energetic is not wrong if the sum does not exhilarate Pierce but it is unpresidential. sent10: if something exhilarates Pierce that it is not energetic is right. sent11: if the tracker exhilarates Pierce the fact that the sum is a kind of a laurelwood is not incorrect. sent12: the tracker does exhilarate Pierce if the sum is not a laurelwood and not unpresidential. sent13: if the sum is unpresidential then the tracker exhilarates Pierce. sent14: the tracker is a tremolo. sent15: the sum is a laurelwood. sent16: the sum does not exhilarate Pierce and it is not energetic if it is unpresidential. sent17: the tracker is not a laurelwood. sent18: the sum is energetic if the tracker does not exhilarate Pierce and is a laurelwood. sent19: if something is a laurelwood it does not exhilarate Pierce and is not unpresidential. sent20: the tracker does exhilarate Pierce if the sum is not a laurelwood but it is unpresidential. sent21: the sum exhilarates Pierce if the tracker is not a laurelwood and is not unpresidential.
sent4 -> int1: the tracker is not a laurelwood and is not unpresidential if it is energetic.; void -> assump1: Let's assume that the tracker is energetic.; int1 & assump1 -> int2: the tracker is not a laurelwood and is not unpresidential.; sent21 & int2 -> int3: the sum exhilarates Pierce.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the tracker is energetic then the sum exhilarates Pierce is incorrect. ; $context$ = sent1: the sum does exhilarate Pierce if the tracker is a laurelwood but not unpresidential. sent2: something is not a kind of a laurelwood if it is energetic. sent3: the fact that if the fact that the tracker is energetic is not incorrect then the tracker is not a laurelwood hold. sent4: something is not a laurelwood and not unpresidential if it is energetic. sent5: the Fall is a laurelwood. sent6: the tracker is a laurelwood if the sum is energetic. sent7: the sum does embower way. sent8: the sum does not exhilarate Pierce and is not energetic. sent9: the fact that the tracker is energetic is not wrong if the sum does not exhilarate Pierce but it is unpresidential. sent10: if something exhilarates Pierce that it is not energetic is right. sent11: if the tracker exhilarates Pierce the fact that the sum is a kind of a laurelwood is not incorrect. sent12: the tracker does exhilarate Pierce if the sum is not a laurelwood and not unpresidential. sent13: if the sum is unpresidential then the tracker exhilarates Pierce. sent14: the tracker is a tremolo. sent15: the sum is a laurelwood. sent16: the sum does not exhilarate Pierce and it is not energetic if it is unpresidential. sent17: the tracker is not a laurelwood. sent18: the sum is energetic if the tracker does not exhilarate Pierce and is a laurelwood. sent19: if something is a laurelwood it does not exhilarate Pierce and is not unpresidential. sent20: the tracker does exhilarate Pierce if the sum is not a laurelwood but it is unpresidential. sent21: the sum exhilarates Pierce if the tracker is not a laurelwood and is not unpresidential. ; $proof$ = 
sent4 -> int1: the tracker is not a laurelwood and is not unpresidential if it is energetic.; void -> assump1: Let's assume that the tracker is energetic.; int1 & assump1 -> int2: the tracker is not a laurelwood and is not unpresidential.; sent21 & int2 -> int3: the sum exhilarates Pierce.; [assump1] & int3 -> hypothesis; __DISPROVED__