the Adam is not a kind of a western and/or it is not a transformer.
sent1: the thyroglobulin is a Cynic if that the bomb is anthropometric is not false. sent2: the fact that the Eskimo is western if the fact that the conglomerate is zoonotic but not a western is not wrong is right. sent3: the fact that the Adam is both not a sabotage and not propitious does not hold if something is a kind of a transformer. sent4: if the thyroglobulin is not propitious then the beneficiary does sabotage. sent5: something survives if it is sinkable. sent6: if the beneficiary is a sabotage then it is sinkable. sent7: the conglomerate is zoonotic and is non-western if that the Adam is sinkable is correct. sent8: if something is not archegonial that it is a kind of anthropometric thing that does deafen cartoonist is true. sent9: if the conglomerate survives then the Adam sabotages. sent10: the Adam is not a western if it sabotages and it is propitious. sent11: the conglomerate is non-zoonotic. sent12: the fact that the beneficiary is a kind of a transformer hold if the thyroglobulin is a Cynic. sent13: the Adam is propitious. sent14: if something does survive it is sinkable. sent15: the bomb is not archegonial if there is something such that it is a kind of a waterline that is non-hypertonic. sent16: if the beneficiary is sinkable that the conglomerate does survive but it is not zoonotic is not right. sent17: that the conglomerate is sinkable hold if it is not zoonotic. sent18: the bomb is anthropometric but not a Cynic. sent19: there is something such that it is a waterline and it is not hypertonic.
sent17 & sent11 -> int1: the conglomerate is sinkable.; sent5 -> int2: if the conglomerate is sinkable then it survives.; int1 & int2 -> int3: that the conglomerate survives is correct.; int3 & sent9 -> int4: the Adam does sabotage.; int4 & sent13 -> int5: the Adam sabotages and it is propitious.; int5 & sent10 -> int6: the Adam is not a western.; int6 -> hypothesis;
the fact that the Adam is not a western and/or it is not a transformer does not hold.
sent18 -> int7: there exists something such that it is a kind of anthropometric thing that is not a Cynic.;
$hypothesis$ = the Adam is not a kind of a western and/or it is not a transformer. ; $context$ = sent1: the thyroglobulin is a Cynic if that the bomb is anthropometric is not false. sent2: the fact that the Eskimo is western if the fact that the conglomerate is zoonotic but not a western is not wrong is right. sent3: the fact that the Adam is both not a sabotage and not propitious does not hold if something is a kind of a transformer. sent4: if the thyroglobulin is not propitious then the beneficiary does sabotage. sent5: something survives if it is sinkable. sent6: if the beneficiary is a sabotage then it is sinkable. sent7: the conglomerate is zoonotic and is non-western if that the Adam is sinkable is correct. sent8: if something is not archegonial that it is a kind of anthropometric thing that does deafen cartoonist is true. sent9: if the conglomerate survives then the Adam sabotages. sent10: the Adam is not a western if it sabotages and it is propitious. sent11: the conglomerate is non-zoonotic. sent12: the fact that the beneficiary is a kind of a transformer hold if the thyroglobulin is a Cynic. sent13: the Adam is propitious. sent14: if something does survive it is sinkable. sent15: the bomb is not archegonial if there is something such that it is a kind of a waterline that is non-hypertonic. sent16: if the beneficiary is sinkable that the conglomerate does survive but it is not zoonotic is not right. sent17: that the conglomerate is sinkable hold if it is not zoonotic. sent18: the bomb is anthropometric but not a Cynic. sent19: there is something such that it is a waterline and it is not hypertonic. ; $proof$ = 
sent17 & sent11 -> int1: the conglomerate is sinkable.; sent5 -> int2: if the conglomerate is sinkable then it survives.; int1 & int2 -> int3: that the conglomerate survives is correct.; int3 & sent9 -> int4: the Adam does sabotage.; int4 & sent13 -> int5: the Adam sabotages and it is propitious.; int5 & sent10 -> int6: the Adam is not a western.; int6 -> hypothesis; __PROVED__