the actinomycin is not a TAT.
sent1: the fact that the oryx does not cox pilferage and is a ketohexose is incorrect if the fact that the facing is not a kind of a TAT is right. sent2: the facing is not a kind of a TAT if the actinomycin does not cox pilferage. sent3: the calico does not cox pilferage if the fact that the facing does not cox pilferage and/or is a ketohexose does not hold. sent4: the fact that the oryx is not a kind of a TAT and is a ketohexose is incorrect if the actinomycin does not cox pilferage. sent5: something is not desirable and it is not a nacelle. sent6: there exists something such that it is not a cerise and it is not a TAT. sent7: if the actinomycin does not cox pilferage then the fact that the facing is not a TAT but it is a cerise is not right. sent8: the facing is a Jewess if the oryx is a nacelle. sent9: if a non-desirable thing is not a kind of a nacelle the facing does not cox pilferage. sent10: if the calico is not a cerise that the fact that the oryx is a Jewess and it is a ketohexose is not right is correct. sent11: there is something such that it is a ketohexose and it is not a Jewess. sent12: if the oryx is desirable the facing is a Jewess. sent13: if the calico is a cerise the facing does cox pilferage. sent14: if something that does not cox pilferage is not a Jewess the actinomycin is not a TAT. sent15: if the oryx is a ketohexose it is not a kind of a Jewess. sent16: there is something such that it does not cox pilferage. sent17: the calico is not a Jewess if that the actinomycin is not a TAT but a cerise is false. sent18: that the oryx is both not a Jewess and a ketohexose is not correct if the calico is not a cerise. sent19: the oryx is desirable. sent20: the facing is a cerise if there exists something such that that it is not a cerise and coxes pilferage is incorrect. sent21: the fact that the facing is not a cerise and coxes pilferage does not hold. sent22: if an undesirable thing is a nacelle that the facing does not cox pilferage is right. sent23: if something is a cerise the calico is a kind of non-phosphorous thing that does not cox lookout. sent24: if that the oryx is both not a Jewess and a ketohexose does not hold then the actinomycin is not a kind of a TAT.
void -> assump1: Let's assume that the calico is a cerise.; sent13 & assump1 -> int1: the facing coxes pilferage.; sent5 & sent9 -> int2: the facing does not cox pilferage.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the calico is not a cerise is true.; int4 & sent18 -> int5: that the oryx is not a Jewess but a ketohexose is not correct.; int5 & sent24 -> hypothesis;
something is non-phosphorous thing that does not cox lookout.
$hypothesis$ = the actinomycin is not a TAT. ; $context$ = sent1: the fact that the oryx does not cox pilferage and is a ketohexose is incorrect if the fact that the facing is not a kind of a TAT is right. sent2: the facing is not a kind of a TAT if the actinomycin does not cox pilferage. sent3: the calico does not cox pilferage if the fact that the facing does not cox pilferage and/or is a ketohexose does not hold. sent4: the fact that the oryx is not a kind of a TAT and is a ketohexose is incorrect if the actinomycin does not cox pilferage. sent5: something is not desirable and it is not a nacelle. sent6: there exists something such that it is not a cerise and it is not a TAT. sent7: if the actinomycin does not cox pilferage then the fact that the facing is not a TAT but it is a cerise is not right. sent8: the facing is a Jewess if the oryx is a nacelle. sent9: if a non-desirable thing is not a kind of a nacelle the facing does not cox pilferage. sent10: if the calico is not a cerise that the fact that the oryx is a Jewess and it is a ketohexose is not right is correct. sent11: there is something such that it is a ketohexose and it is not a Jewess. sent12: if the oryx is desirable the facing is a Jewess. sent13: if the calico is a cerise the facing does cox pilferage. sent14: if something that does not cox pilferage is not a Jewess the actinomycin is not a TAT. sent15: if the oryx is a ketohexose it is not a kind of a Jewess. sent16: there is something such that it does not cox pilferage. sent17: the calico is not a Jewess if that the actinomycin is not a TAT but a cerise is false. sent18: that the oryx is both not a Jewess and a ketohexose is not correct if the calico is not a cerise. sent19: the oryx is desirable. sent20: the facing is a cerise if there exists something such that that it is not a cerise and coxes pilferage is incorrect. sent21: the fact that the facing is not a cerise and coxes pilferage does not hold. sent22: if an undesirable thing is a nacelle that the facing does not cox pilferage is right. sent23: if something is a cerise the calico is a kind of non-phosphorous thing that does not cox lookout. sent24: if that the oryx is both not a Jewess and a ketohexose does not hold then the actinomycin is not a kind of a TAT. ; $proof$ = 
void -> assump1: Let's assume that the calico is a cerise.; sent13 & assump1 -> int1: the facing coxes pilferage.; sent5 & sent9 -> int2: the facing does not cox pilferage.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the calico is not a cerise is true.; int4 & sent18 -> int5: that the oryx is not a Jewess but a ketohexose is not correct.; int5 & sent24 -> hypothesis; __PROVED__