the cloisonne is not a kind of a Tracy.
sent1: the makeup is an impress and it discusses if the longhorn is not a kind of an emery. sent2: the cloisonne is ungregarious if it is a kind of a Tracy. sent3: the aluminate is not a Ixodidae if the prick is a kind of a boondoggle and it is a topper. sent4: the fact that the prick is an emery is correct. sent5: if the actinometer is a Ixodidae that the aluminate is a Ixodidae hold. sent6: the cloisonne is not a kind of a Tracy if something is an impress that does not discuss. sent7: the aluminate is not an impress and not ungregarious if it is not a boondoggle. sent8: if the prick is an emery then it is a topper. sent9: the arrow does impress. sent10: if there exists something such that it is not an impress and does not discuss the cloisonne is not a kind of a Tracy. sent11: if something is not a Ixodidae it is not an impress and it does not discuss. sent12: something is a Ixodidae if it impresses. sent13: if something is not a Tracy then it is not a boondoggle. sent14: if the fact that the fact that the aluminate is not ungregarious or a topper or both is not true is not incorrect the prick is not ungregarious. sent15: something is not a kind of a boondoggle and it is not a Ixodidae if it is not a Tracy. sent16: if that the makeup is a Ixodidae hold the actinometer is a kind of a Ixodidae. sent17: that something is not a Tracy and does not boondoggle is not true if it is not ungregarious. sent18: the prick is ungregarious and boondoggles.
sent18 -> int1: the prick is a boondoggle.; sent8 & sent4 -> int2: the prick is a kind of a topper.; int1 & int2 -> int3: the prick is a boondoggle and it is a topper.; int3 & sent3 -> int4: the aluminate is not a Ixodidae.; sent11 -> int5: the aluminate is not an impress and it does not discuss if it is not a Ixodidae.; int4 & int5 -> int6: the aluminate is not an impress and does not discuss.; int6 -> int7: something is not an impress and does not discuss.; int7 & sent10 -> hypothesis;
the cloisonne is a kind of a Tracy.
sent17 -> int8: if the prick is not ungregarious the fact that it is not a Tracy and not a boondoggle does not hold.; sent12 -> int9: the makeup is a kind of a Ixodidae if it impresses.;
$hypothesis$ = the cloisonne is not a kind of a Tracy. ; $context$ = sent1: the makeup is an impress and it discusses if the longhorn is not a kind of an emery. sent2: the cloisonne is ungregarious if it is a kind of a Tracy. sent3: the aluminate is not a Ixodidae if the prick is a kind of a boondoggle and it is a topper. sent4: the fact that the prick is an emery is correct. sent5: if the actinometer is a Ixodidae that the aluminate is a Ixodidae hold. sent6: the cloisonne is not a kind of a Tracy if something is an impress that does not discuss. sent7: the aluminate is not an impress and not ungregarious if it is not a boondoggle. sent8: if the prick is an emery then it is a topper. sent9: the arrow does impress. sent10: if there exists something such that it is not an impress and does not discuss the cloisonne is not a kind of a Tracy. sent11: if something is not a Ixodidae it is not an impress and it does not discuss. sent12: something is a Ixodidae if it impresses. sent13: if something is not a Tracy then it is not a boondoggle. sent14: if the fact that the fact that the aluminate is not ungregarious or a topper or both is not true is not incorrect the prick is not ungregarious. sent15: something is not a kind of a boondoggle and it is not a Ixodidae if it is not a Tracy. sent16: if that the makeup is a Ixodidae hold the actinometer is a kind of a Ixodidae. sent17: that something is not a Tracy and does not boondoggle is not true if it is not ungregarious. sent18: the prick is ungregarious and boondoggles. ; $proof$ = 
sent18 -> int1: the prick is a boondoggle.; sent8 & sent4 -> int2: the prick is a kind of a topper.; int1 & int2 -> int3: the prick is a boondoggle and it is a topper.; int3 & sent3 -> int4: the aluminate is not a Ixodidae.; sent11 -> int5: the aluminate is not an impress and it does not discuss if it is not a Ixodidae.; int4 & int5 -> int6: the aluminate is not an impress and does not discuss.; int6 -> int7: something is not an impress and does not discuss.; int7 & sent10 -> hypothesis; __PROVED__