the moccasin is a coloradillo.
sent1: the agronomist is unsold. sent2: if the agronomist is a kind of a dresser the heliometer is uncertain and is not a dresser. sent3: if that something is micrometeoritic but it does not corrupt is incorrect then it is a coloradillo. sent4: the weighbridge is micrometeoritic if the heliometer is both not sealed and not a dresser. sent5: something is uncertain if it is not corrupt. sent6: everything does not perambulate and is not corrupt. sent7: something is not unsold or it is a scripted or both. sent8: if the weighbridge is micrometeoritic the fact that the moccasin is micrometeoritic but it does not corrupt is incorrect. sent9: if something is uncertain the fact that it is not a dresser and it is not micrometeoritic is incorrect. sent10: the heliometer is uncertain. sent11: if the weighbridge is corrupt the moccasin is micrometeoritic and is not corrupt. sent12: if the fact that something does script but it is not a kind of a bitumastic does not hold it is a kind of a Altaic.
sent3 -> int1: if the fact that the moccasin is both micrometeoritic and not corrupt is incorrect then it is a kind of a coloradillo.;
the moccasin is not a coloradillo.
sent6 -> int2: that the heliometer does not perambulate and is not corrupt hold.; int2 -> int3: the heliometer is not corrupt.; sent5 -> int4: the fact that the heliometer is uncertain is not false if it does not corrupt.; int3 & int4 -> int5: that the heliometer is uncertain is right.; sent9 -> int6: the fact that the heliometer is not a dresser and is non-micrometeoritic does not hold if it is uncertain.; int5 & int6 -> int7: that the heliometer is not a dresser and it is non-micrometeoritic is not right.; int7 -> int8: there exists nothing that is not a kind of a dresser and is not micrometeoritic.; int8 -> int9: the fact that the agronomist is not a dresser and is not micrometeoritic is false.; int9 -> int10: there is something such that that it is not a dresser and it is not micrometeoritic is not correct.;
$hypothesis$ = the moccasin is a coloradillo. ; $context$ = sent1: the agronomist is unsold. sent2: if the agronomist is a kind of a dresser the heliometer is uncertain and is not a dresser. sent3: if that something is micrometeoritic but it does not corrupt is incorrect then it is a coloradillo. sent4: the weighbridge is micrometeoritic if the heliometer is both not sealed and not a dresser. sent5: something is uncertain if it is not corrupt. sent6: everything does not perambulate and is not corrupt. sent7: something is not unsold or it is a scripted or both. sent8: if the weighbridge is micrometeoritic the fact that the moccasin is micrometeoritic but it does not corrupt is incorrect. sent9: if something is uncertain the fact that it is not a dresser and it is not micrometeoritic is incorrect. sent10: the heliometer is uncertain. sent11: if the weighbridge is corrupt the moccasin is micrometeoritic and is not corrupt. sent12: if the fact that something does script but it is not a kind of a bitumastic does not hold it is a kind of a Altaic. ; $proof$ = 
sent3 -> int1: if the fact that the moccasin is both micrometeoritic and not corrupt is incorrect then it is a kind of a coloradillo.; __UNKNOWN__