that the semi-abstraction does not rerun guru but it is a acarus does not hold.
sent1: the cefotaxime reruns guru. sent2: if that something is not perceptual and not informal does not hold then it is informal. sent3: the fact that the semi-abstraction does not rerun guru and is a kind of a acarus does not hold if the path is not a scute. sent4: that something is both not perceptual and not informal does not hold if that it is not psychiatric is not wrong. sent5: if that that the path is not informal hold does not hold then it is not a Cromwell and it does not towel. sent6: the semi-abstraction does not rerun guru if the path is not a materialist. sent7: if there exists something such that it is a kind of a scute then the fact that the path is not a kind of a pothunter but it is a materialist is false. sent8: if the fact that the path does rerun meltdown and/or it is not bromidic is not correct then it is not psychiatric. sent9: that the cefotaxime is a Cromwell is correct. sent10: if that the path is not a pothunter but a materialist does not hold then the semi-abstraction does not rerun guru. sent11: that if the path is not a kind of a Cromwell and it is not a kind of the towel then the path is a materialist is right. sent12: the semi-abstraction is a acarus if there is something such that it is a kind of a Cromwell. sent13: the work-shirt is not a acarus. sent14: there exists something such that it is a scute. sent15: something that is a pothunter is not a kind of a scute.
sent14 & sent7 -> int1: that the path is not a pothunter but it is a kind of a materialist is not correct.; int1 & sent10 -> int2: the semi-abstraction does not rerun guru.; sent9 -> int3: there exists something such that it is a kind of a Cromwell.; int3 & sent12 -> int4: the semi-abstraction is a acarus.; int2 & int4 -> hypothesis;
the fact that the semi-abstraction does not rerun guru but it is a acarus does not hold.
sent15 -> int5: the path is not a scute if it is a kind of a pothunter.; sent2 -> int6: if that the path is not perceptual and not informal is false then it is informal.; sent4 -> int7: if the path is not psychiatric that it is a kind of non-perceptual thing that is not informal does not hold.;
$hypothesis$ = that the semi-abstraction does not rerun guru but it is a acarus does not hold. ; $context$ = sent1: the cefotaxime reruns guru. sent2: if that something is not perceptual and not informal does not hold then it is informal. sent3: the fact that the semi-abstraction does not rerun guru and is a kind of a acarus does not hold if the path is not a scute. sent4: that something is both not perceptual and not informal does not hold if that it is not psychiatric is not wrong. sent5: if that that the path is not informal hold does not hold then it is not a Cromwell and it does not towel. sent6: the semi-abstraction does not rerun guru if the path is not a materialist. sent7: if there exists something such that it is a kind of a scute then the fact that the path is not a kind of a pothunter but it is a materialist is false. sent8: if the fact that the path does rerun meltdown and/or it is not bromidic is not correct then it is not psychiatric. sent9: that the cefotaxime is a Cromwell is correct. sent10: if that the path is not a pothunter but a materialist does not hold then the semi-abstraction does not rerun guru. sent11: that if the path is not a kind of a Cromwell and it is not a kind of the towel then the path is a materialist is right. sent12: the semi-abstraction is a acarus if there is something such that it is a kind of a Cromwell. sent13: the work-shirt is not a acarus. sent14: there exists something such that it is a scute. sent15: something that is a pothunter is not a kind of a scute. ; $proof$ = 
sent14 & sent7 -> int1: that the path is not a pothunter but it is a kind of a materialist is not correct.; int1 & sent10 -> int2: the semi-abstraction does not rerun guru.; sent9 -> int3: there exists something such that it is a kind of a Cromwell.; int3 & sent12 -> int4: the semi-abstraction is a acarus.; int2 & int4 -> hypothesis; __DISPROVED__