if the acidophil is not cloze the fact that the fact that the triglyceride is an envelope and it is a skunk is not wrong does not hold.
sent1: the readout is not a kind of an envelope but it is a kind of a ossuary if it is not a moa. sent2: if the acidophil is not a kind of an envelope then the fact that the triglyceride is a Copehan and it is an envelope is wrong. sent3: that the triglyceride is an envelope and is a skunk is not correct if the acidophil is not a skunk. sent4: if the acidophil is not cloze then the triglyceride is supersonic thing that is cloze. sent5: the triglyceride is a kind of an envelope that is a skunk if the acidophil is not cloze. sent6: the acidophil is supersonic. sent7: if the acidophil is cloze it is both not a Copehan and supersonic. sent8: if the acidophil is not cloze then it is supersonic. sent9: if something is not cloze it is supersonic. sent10: the triglyceride is a equinoctial and it is a Norvasc. sent11: if the acidophil is not supersonic then the fact that the triglyceride is a skunk and it is supersonic does not hold. sent12: something is not a Copehan but it is not non-supersonic if it is not cloze. sent13: if something that is not a hiddenness does chafe it does not prize. sent14: if the acidophil is not a kind of an envelope then that the triglyceride is a kind of cloze thing that is an envelope is incorrect. sent15: if something that is not a kind of a Copehan is supersonic it is not a kind of a skunk. sent16: if the fact that the acidophil is cloze hold that the triglyceride is both an envelope and a skunk does not hold. sent17: the triglyceride is both not uncertain and not non-departmental.
sent12 -> int1: if the acidophil is not cloze it is not a Copehan and it is supersonic.; void -> assump1: Let's assume that the acidophil is not cloze.; int1 & assump1 -> int2: the acidophil is not a Copehan and is supersonic.; sent15 -> int3: if the acidophil is not a Copehan but it is supersonic then it is not a kind of a skunk.; int2 & int3 -> int4: the acidophil is not a kind of a skunk.; int4 & sent3 -> int5: the fact that the triglyceride is a kind of an envelope that is a skunk is wrong.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the acidophil is not cloze the fact that the fact that the triglyceride is an envelope and it is a skunk is not wrong does not hold. ; $context$ = sent1: the readout is not a kind of an envelope but it is a kind of a ossuary if it is not a moa. sent2: if the acidophil is not a kind of an envelope then the fact that the triglyceride is a Copehan and it is an envelope is wrong. sent3: that the triglyceride is an envelope and is a skunk is not correct if the acidophil is not a skunk. sent4: if the acidophil is not cloze then the triglyceride is supersonic thing that is cloze. sent5: the triglyceride is a kind of an envelope that is a skunk if the acidophil is not cloze. sent6: the acidophil is supersonic. sent7: if the acidophil is cloze it is both not a Copehan and supersonic. sent8: if the acidophil is not cloze then it is supersonic. sent9: if something is not cloze it is supersonic. sent10: the triglyceride is a equinoctial and it is a Norvasc. sent11: if the acidophil is not supersonic then the fact that the triglyceride is a skunk and it is supersonic does not hold. sent12: something is not a Copehan but it is not non-supersonic if it is not cloze. sent13: if something that is not a hiddenness does chafe it does not prize. sent14: if the acidophil is not a kind of an envelope then that the triglyceride is a kind of cloze thing that is an envelope is incorrect. sent15: if something that is not a kind of a Copehan is supersonic it is not a kind of a skunk. sent16: if the fact that the acidophil is cloze hold that the triglyceride is both an envelope and a skunk does not hold. sent17: the triglyceride is both not uncertain and not non-departmental. ; $proof$ = 
sent12 -> int1: if the acidophil is not cloze it is not a Copehan and it is supersonic.; void -> assump1: Let's assume that the acidophil is not cloze.; int1 & assump1 -> int2: the acidophil is not a Copehan and is supersonic.; sent15 -> int3: if the acidophil is not a Copehan but it is supersonic then it is not a kind of a skunk.; int2 & int3 -> int4: the acidophil is not a kind of a skunk.; int4 & sent3 -> int5: the fact that the triglyceride is a kind of an envelope that is a skunk is wrong.; [assump1] & int5 -> hypothesis; __PROVED__