the fact that the bullfight is a foal is not wrong.
sent1: if the preservationist is nectar-rich the Carib is bubonic. sent2: if the naturopath is not nectar-rich that the bullfight is both not a radish and nectar-rich is wrong. sent3: the preservationist is a monarchism. sent4: something is not a kind of a foal if it does not descry alterability. sent5: the Carib is a monarchism if it does not descry alterability. sent6: there exists something such that it is bubonic. sent7: the bullfight is biogenetic if it is a radish. sent8: if something is not a monarchism it is not a foal. sent9: if the fact that something is not a radish but it is nectar-rich is not correct it is biogenetic. sent10: that the bullfight is a radish and it is nectar-rich does not hold. sent11: something is biogenetic if it is a radish. sent12: that the preservationist is not bubonic if the Carib does descry alterability hold. sent13: the bullfight does not descry alterability or it is not a kind of a monarchism or both if the Carib is bubonic. sent14: if something is biogenetic that it is not nectar-rich and it is a radish is not true. sent15: if the naturopath is not nectar-rich then the fact that the bullfight is a radish and it is nectar-rich does not hold. sent16: the fact that something is not a monarchism but it does foal is not true if it descries alterability. sent17: if something is biogenetic then it does foal. sent18: the Carib is not a monarchism.
void -> assump1: Let's assume that the Carib does not descry alterability.; sent5 & assump1 -> int1: the Carib is a monarchism.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Carib descries alterability.; int3 & sent12 -> int4: the fact that the preservationist is not bubonic is not wrong.; int4 -> int5: something is not bubonic.; sent9 -> int6: if the fact that the bullfight is not a radish but nectar-rich does not hold then it is biogenetic.; sent17 -> int7: if the bullfight is biogenetic it is a foal.;
the bullfight is not a foal.
sent8 -> int8: the bullfight is not a foal if the fact that it is not a monarchism is correct.; sent4 -> int9: the bullfight is not a kind of a foal if it does not descry alterability.; sent14 -> int10: that the oleander is not nectar-rich but it is a kind of a radish is false if it is biogenetic.;
$hypothesis$ = the fact that the bullfight is a foal is not wrong. ; $context$ = sent1: if the preservationist is nectar-rich the Carib is bubonic. sent2: if the naturopath is not nectar-rich that the bullfight is both not a radish and nectar-rich is wrong. sent3: the preservationist is a monarchism. sent4: something is not a kind of a foal if it does not descry alterability. sent5: the Carib is a monarchism if it does not descry alterability. sent6: there exists something such that it is bubonic. sent7: the bullfight is biogenetic if it is a radish. sent8: if something is not a monarchism it is not a foal. sent9: if the fact that something is not a radish but it is nectar-rich is not correct it is biogenetic. sent10: that the bullfight is a radish and it is nectar-rich does not hold. sent11: something is biogenetic if it is a radish. sent12: that the preservationist is not bubonic if the Carib does descry alterability hold. sent13: the bullfight does not descry alterability or it is not a kind of a monarchism or both if the Carib is bubonic. sent14: if something is biogenetic that it is not nectar-rich and it is a radish is not true. sent15: if the naturopath is not nectar-rich then the fact that the bullfight is a radish and it is nectar-rich does not hold. sent16: the fact that something is not a monarchism but it does foal is not true if it descries alterability. sent17: if something is biogenetic then it does foal. sent18: the Carib is not a monarchism. ; $proof$ = 
void -> assump1: Let's assume that the Carib does not descry alterability.; sent5 & assump1 -> int1: the Carib is a monarchism.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Carib descries alterability.; int3 & sent12 -> int4: the fact that the preservationist is not bubonic is not wrong.; int4 -> int5: something is not bubonic.; sent9 -> int6: if the fact that the bullfight is not a radish but nectar-rich does not hold then it is biogenetic.; sent17 -> int7: if the bullfight is biogenetic it is a foal.; __UNKNOWN__