the loach is not immunochemical.
sent1: that the eyebrow is a rill hold if the carboy is a kind of non-plutocratic thing that is not a rill. sent2: if that the loach is a cabinet and/or it is not non-communist does not hold then it is not immunochemical. sent3: there is something such that it does confine bugged. sent4: the carboy is a Grenada and/or is not a cabinet. sent5: the carboy is a kind of a Grenada if there exists something such that it does not confine bugged. sent6: either the loach is a cabinet or it is communist or both. sent7: the carboy is a kind of a Micrurus. sent8: if the eyebrow is a rill the loach is a kind of a Micrurus. sent9: if the fact that something is a cabinet and/or it is communist does not hold then it is not immunochemical. sent10: the carboy is both a Micrurus and not plutocratic if the eyebrow is not a Micrurus. sent11: the loach is a communist. sent12: something does not confine bugged. sent13: something is a cabinet and/or it is communist. sent14: if something is not a communist the eyebrow is not a kind of a Micrurus. sent15: if something is not plutocratic it is not a rill. sent16: the loach is not a communist if the fact that it is not a Micrurus is not false. sent17: if there exists something such that either it is a cabinet or it is not communist or both the eyebrow is not a Micrurus. sent18: the carboy is a rill and it is a Grenada if the fact that something does not confine bugged is true. sent19: the carboy is a kind of a Grenada. sent20: the eyebrow is not unmade. sent21: something is not immunochemical if the fact that either it is a kind of a cabinet or it is not communist or both is not true. sent22: if the eyebrow is not a kind of a Micrurus then the carboy is a Micrurus. sent23: the loach is not a Grenada.
void -> assump1: Let's assume that the loach is a cabinet and/or it is non-communist.; assump1 -> int1: there exists something such that that either it is a cabinet or it is non-communist or both is right.; int1 & sent17 -> int2: the eyebrow is not a Micrurus.; int2 & sent10 -> int3: the carboy is a kind of a Micrurus but it is non-plutocratic.; int3 -> int4: the carboy is not plutocratic.; sent15 -> int5: the carboy is not a rill if it is not plutocratic.; int4 & int5 -> int6: the carboy is not a kind of a rill.; sent12 & sent18 -> int7: the carboy is a rill and is a Grenada.; int7 -> int8: that the carboy is a rill is not false.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the fact that the loach is a cabinet and/or it is not a kind of a communist is wrong hold.; sent21 -> int11: if the fact that the loach is a cabinet and/or not a communist is incorrect then it is not immunochemical.; int10 & int11 -> hypothesis;
the loach is immunochemical.
$hypothesis$ = the loach is not immunochemical. ; $context$ = sent1: that the eyebrow is a rill hold if the carboy is a kind of non-plutocratic thing that is not a rill. sent2: if that the loach is a cabinet and/or it is not non-communist does not hold then it is not immunochemical. sent3: there is something such that it does confine bugged. sent4: the carboy is a Grenada and/or is not a cabinet. sent5: the carboy is a kind of a Grenada if there exists something such that it does not confine bugged. sent6: either the loach is a cabinet or it is communist or both. sent7: the carboy is a kind of a Micrurus. sent8: if the eyebrow is a rill the loach is a kind of a Micrurus. sent9: if the fact that something is a cabinet and/or it is communist does not hold then it is not immunochemical. sent10: the carboy is both a Micrurus and not plutocratic if the eyebrow is not a Micrurus. sent11: the loach is a communist. sent12: something does not confine bugged. sent13: something is a cabinet and/or it is communist. sent14: if something is not a communist the eyebrow is not a kind of a Micrurus. sent15: if something is not plutocratic it is not a rill. sent16: the loach is not a communist if the fact that it is not a Micrurus is not false. sent17: if there exists something such that either it is a cabinet or it is not communist or both the eyebrow is not a Micrurus. sent18: the carboy is a rill and it is a Grenada if the fact that something does not confine bugged is true. sent19: the carboy is a kind of a Grenada. sent20: the eyebrow is not unmade. sent21: something is not immunochemical if the fact that either it is a kind of a cabinet or it is not communist or both is not true. sent22: if the eyebrow is not a kind of a Micrurus then the carboy is a Micrurus. sent23: the loach is not a Grenada. ; $proof$ = 
void -> assump1: Let's assume that the loach is a cabinet and/or it is non-communist.; assump1 -> int1: there exists something such that that either it is a cabinet or it is non-communist or both is right.; int1 & sent17 -> int2: the eyebrow is not a Micrurus.; int2 & sent10 -> int3: the carboy is a kind of a Micrurus but it is non-plutocratic.; int3 -> int4: the carboy is not plutocratic.; sent15 -> int5: the carboy is not a rill if it is not plutocratic.; int4 & int5 -> int6: the carboy is not a kind of a rill.; sent12 & sent18 -> int7: the carboy is a rill and is a Grenada.; int7 -> int8: that the carboy is a rill is not false.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the fact that the loach is a cabinet and/or it is not a kind of a communist is wrong hold.; sent21 -> int11: if the fact that the loach is a cabinet and/or not a communist is incorrect then it is not immunochemical.; int10 & int11 -> hypothesis; __PROVED__