that there exists something such that the fact that it is a SOP and it is Linnaean is incorrect is not true.
sent1: if the gravedigger does ranch the detox is not a fashioned but it is neuromuscular. sent2: that the gravedigger is a kind of neuromuscular thing that is a fashioned is not true if the detox is not a ranch. sent3: the gravedigger is a ranch if there exists something such that it is a kind of non-morbilliform thing that does not sweep. sent4: if something that is morbilliform is not a sweep the gravedigger ranches. sent5: there is something such that it is non-morbilliform and does not sweep. sent6: something is a kind of a SOP and is Linnaean. sent7: if the detox is not a fashioned then that the intussusception is a SOP and it is Linnaean is not right.
sent5 & sent3 -> int1: the gravedigger does ranch.; sent1 & int1 -> int2: the detox is not a fashioned but it is not non-neuromuscular.; int2 -> int3: that the detox is not a fashioned hold.; sent7 & int3 -> int4: the fact that the intussusception is a SOP and it is Linnaean is not right.; int4 -> hypothesis;
$hypothesis$ = that there exists something such that the fact that it is a SOP and it is Linnaean is incorrect is not true. ; $context$ = sent1: if the gravedigger does ranch the detox is not a fashioned but it is neuromuscular. sent2: that the gravedigger is a kind of neuromuscular thing that is a fashioned is not true if the detox is not a ranch. sent3: the gravedigger is a ranch if there exists something such that it is a kind of non-morbilliform thing that does not sweep. sent4: if something that is morbilliform is not a sweep the gravedigger ranches. sent5: there is something such that it is non-morbilliform and does not sweep. sent6: something is a kind of a SOP and is Linnaean. sent7: if the detox is not a fashioned then that the intussusception is a SOP and it is Linnaean is not right. ; $proof$ = 
sent5 & sent3 -> int1: the gravedigger does ranch.; sent1 & int1 -> int2: the detox is not a fashioned but it is not non-neuromuscular.; int2 -> int3: that the detox is not a fashioned hold.; sent7 & int3 -> int4: the fact that the intussusception is a SOP and it is Linnaean is not right.; int4 -> hypothesis; __DISPROVED__