there is something such that if it does not ding amputator it tames criollo and is nonlexical.
sent1: if the criollo does not ding amputator it tames criollo. sent2: that there is something such that if that it does not ding amputator is not false then it tames criollo is not incorrect. sent3: if something does not ding amputator then it tames criollo and is nonlexical. sent4: there exists something such that if it is not a Gray it does shrink anestrus. sent5: there is something such that if it dings amputator then it does tame criollo and it is nonlexical. sent6: something tames criollo and it is nonlexical if it does ding amputator. sent7: the criollo tames criollo and is nonlexical if it dings amputator. sent8: something that is not a protozoan does murmur Windsor and murmurs dished.
sent3 -> int1: that the criollo does tame criollo and it is nonlexical is not incorrect if it does not ding amputator.; int1 -> hypothesis;
there is something such that if it is not a protozoan it does murmur Windsor and murmurs dished.
sent8 -> int2: the amputator murmurs Windsor and does murmur dished if it is not a protozoan.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it does not ding amputator it tames criollo and is nonlexical. ; $context$ = sent1: if the criollo does not ding amputator it tames criollo. sent2: that there is something such that if that it does not ding amputator is not false then it tames criollo is not incorrect. sent3: if something does not ding amputator then it tames criollo and is nonlexical. sent4: there exists something such that if it is not a Gray it does shrink anestrus. sent5: there is something such that if it dings amputator then it does tame criollo and it is nonlexical. sent6: something tames criollo and it is nonlexical if it does ding amputator. sent7: the criollo tames criollo and is nonlexical if it dings amputator. sent8: something that is not a protozoan does murmur Windsor and murmurs dished. ; $proof$ = 
sent3 -> int1: that the criollo does tame criollo and it is nonlexical is not incorrect if it does not ding amputator.; int1 -> hypothesis; __PROVED__