the magician is not a kind of a carbonyl.
sent1: the goalmouth is not a kind of a OSHA if that the perspirer is perianal and does dope is false. sent2: the goalmouth is not a dope. sent3: if the fact that the perspirer is not unaggressive and does implode is not correct the Wood does not implode. sent4: the pommel is both not a OSHA and unaggressive if the goalmouth is not a OSHA. sent5: if something is not autolytic then it is not carbonyl. sent6: the pommel is not perianal. sent7: the goalmouth is either not autolytic or non-changeless or both. sent8: if there is something such that it is both not a OSHA and unaggressive the magician is carbonyl. sent9: something is a dope. sent10: the fact that something is a kind of a carbonyl and it is a OSHA is correct. sent11: the fact that the perspirer is perianal and it is a dope is false if it does not implode. sent12: the pommel is unaggressive if the goalmouth is not a OSHA. sent13: the magician is not a OSHA if the fact that the pommel is perianal and it is a carbonyl is incorrect. sent14: the goalmouth is not a Broglie and Simonizes phentolamine. sent15: the pommel does not implode. sent16: the pommel is not a OSHA and implodes if the perspirer is not a kind of a OSHA. sent17: the perspirer does not implode. sent18: something is not unaggressive but it is a dope.
sent11 & sent17 -> int1: the fact that the perspirer is perianal a dope is false.; sent1 & int1 -> int2: the goalmouth is not a OSHA.; sent4 & int2 -> int3: the pommel is not a OSHA but it is unaggressive.; int3 -> int4: something is both not a OSHA and unaggressive.; int4 & sent8 -> hypothesis;
the Wood is both not a clubroom and a OSHA.
sent5 -> int5: the goalmouth is not carbonyl if it is not autolytic.;
$hypothesis$ = the magician is not a kind of a carbonyl. ; $context$ = sent1: the goalmouth is not a kind of a OSHA if that the perspirer is perianal and does dope is false. sent2: the goalmouth is not a dope. sent3: if the fact that the perspirer is not unaggressive and does implode is not correct the Wood does not implode. sent4: the pommel is both not a OSHA and unaggressive if the goalmouth is not a OSHA. sent5: if something is not autolytic then it is not carbonyl. sent6: the pommel is not perianal. sent7: the goalmouth is either not autolytic or non-changeless or both. sent8: if there is something such that it is both not a OSHA and unaggressive the magician is carbonyl. sent9: something is a dope. sent10: the fact that something is a kind of a carbonyl and it is a OSHA is correct. sent11: the fact that the perspirer is perianal and it is a dope is false if it does not implode. sent12: the pommel is unaggressive if the goalmouth is not a OSHA. sent13: the magician is not a OSHA if the fact that the pommel is perianal and it is a carbonyl is incorrect. sent14: the goalmouth is not a Broglie and Simonizes phentolamine. sent15: the pommel does not implode. sent16: the pommel is not a OSHA and implodes if the perspirer is not a kind of a OSHA. sent17: the perspirer does not implode. sent18: something is not unaggressive but it is a dope. ; $proof$ = 
sent11 & sent17 -> int1: the fact that the perspirer is perianal a dope is false.; sent1 & int1 -> int2: the goalmouth is not a OSHA.; sent4 & int2 -> int3: the pommel is not a OSHA but it is unaggressive.; int3 -> int4: something is both not a OSHA and unaggressive.; int4 & sent8 -> hypothesis; __DISPROVED__