if the Smith is a kind of a arenavirus the fact that the Sharpie is a zinkenite does not hold.
sent1: the Sharpie is not a arenavirus if something that is a kind of a metarule is not a zinkenite. sent2: something is a zinkenite if the fact that it is not a zinkenite and does not attach is not correct. sent3: there exists something such that it is a kind of a zinkenite. sent4: the statistician does not redden headlight if there is something such that it coats yip and does not attach. sent5: something does not coat yip if it is not a arenavirus. sent6: something does coat yip. sent7: the Sharpie is a metarule if the Smith is a arenavirus. sent8: the Smith is not irreconcilable. sent9: if there are non-irreconcilable things that the Dubliner is not a zinkenite and does not attach is false. sent10: there exists something such that it coats yip and does not attach. sent11: there is something such that it is a metarule. sent12: if something is a kind of a zinkenite that is not a kind of a metarule then it is not a arenavirus. sent13: if the Smith is a kind of a arenavirus the Sharpie is a kind of a zinkenite.
void -> assump1: Let's assume that the Smith is a arenavirus.; sent7 & assump1 -> int1: that the Sharpie is a metarule is not incorrect.; void -> assump2: Let's assume that the Sharpie is a zinkenite.; int1 & assump2 -> int2: the Sharpie is a metarule and it is a kind of a zinkenite.; int2 -> int3: there is something such that it is a metarule and a zinkenite.; sent10 & sent4 -> int4: the statistician does not redden headlight.;
the Dubliner does not coat yip.
sent5 -> int5: the Dubliner does not coat yip if it is not a arenavirus.; sent12 -> int6: that the Dubliner is not a arenavirus hold if it is a kind of a zinkenite and it is not a metarule.; sent2 -> int7: the fact that the Dubliner is a zinkenite is right if that it is not a zinkenite and it does not attach is incorrect.; sent8 -> int8: that something is not irreconcilable is correct.; int8 & sent9 -> int9: that the Dubliner is not a zinkenite and does not attach is not correct.; int7 & int9 -> int10: the Dubliner is a kind of a zinkenite.;
$hypothesis$ = if the Smith is a kind of a arenavirus the fact that the Sharpie is a zinkenite does not hold. ; $context$ = sent1: the Sharpie is not a arenavirus if something that is a kind of a metarule is not a zinkenite. sent2: something is a zinkenite if the fact that it is not a zinkenite and does not attach is not correct. sent3: there exists something such that it is a kind of a zinkenite. sent4: the statistician does not redden headlight if there is something such that it coats yip and does not attach. sent5: something does not coat yip if it is not a arenavirus. sent6: something does coat yip. sent7: the Sharpie is a metarule if the Smith is a arenavirus. sent8: the Smith is not irreconcilable. sent9: if there are non-irreconcilable things that the Dubliner is not a zinkenite and does not attach is false. sent10: there exists something such that it coats yip and does not attach. sent11: there is something such that it is a metarule. sent12: if something is a kind of a zinkenite that is not a kind of a metarule then it is not a arenavirus. sent13: if the Smith is a kind of a arenavirus the Sharpie is a kind of a zinkenite. ; $proof$ = 
void -> assump1: Let's assume that the Smith is a arenavirus.; sent7 & assump1 -> int1: that the Sharpie is a metarule is not incorrect.; void -> assump2: Let's assume that the Sharpie is a zinkenite.; int1 & assump2 -> int2: the Sharpie is a metarule and it is a kind of a zinkenite.; int2 -> int3: there is something such that it is a metarule and a zinkenite.; sent10 & sent4 -> int4: the statistician does not redden headlight.; __UNKNOWN__