the stonecress is not ammonitic.
sent1: the AA is not resistless. sent2: if something is not resistless the fact that it is a chicle and is asterismal is false. sent3: if something does irradiate phosphatase it is not ammonitic. sent4: the stonecress is not a chicle if the Buffalo is not a depilatory but it is a chicle. sent5: the stonecress is asterismal and it does think. sent6: the Buffalo is not fertile. sent7: the fact that the Buffalo is not ammonitic and it is not a think is not correct if there exists something such that that it is not asterismal hold. sent8: the Buffalo is not a depilatory and is a chicle if it is non-fertile. sent9: if something is asterismal it is resistless. sent10: if the stonecress is both not a chicle and resistless it irradiates phosphatase.
sent5 -> int1: the stonecress is asterismal.; sent9 -> int2: the fact that the stonecress is resistless is true if it is not non-asterismal.; int1 & int2 -> int3: the stonecress is resistless.; sent8 & sent6 -> int4: the Buffalo is not a depilatory and is a chicle.; sent4 & int4 -> int5: the stonecress is not a kind of a chicle.; int3 & int5 -> int6: the stonecress is not a kind of a chicle but it is resistless.; int6 & sent10 -> int7: the stonecress does irradiate phosphatase.; sent3 -> int8: if the stonecress does irradiate phosphatase it is not ammonitic.; int7 & int8 -> hypothesis;
the stonecress is ammonitic.
sent2 -> int9: that the AA is a chicle and it is asterismal does not hold if it is not resistless.; int9 & sent1 -> int10: the fact that the AA is a chicle and is asterismal is incorrect.;
$hypothesis$ = the stonecress is not ammonitic. ; $context$ = sent1: the AA is not resistless. sent2: if something is not resistless the fact that it is a chicle and is asterismal is false. sent3: if something does irradiate phosphatase it is not ammonitic. sent4: the stonecress is not a chicle if the Buffalo is not a depilatory but it is a chicle. sent5: the stonecress is asterismal and it does think. sent6: the Buffalo is not fertile. sent7: the fact that the Buffalo is not ammonitic and it is not a think is not correct if there exists something such that that it is not asterismal hold. sent8: the Buffalo is not a depilatory and is a chicle if it is non-fertile. sent9: if something is asterismal it is resistless. sent10: if the stonecress is both not a chicle and resistless it irradiates phosphatase. ; $proof$ = 
sent5 -> int1: the stonecress is asterismal.; sent9 -> int2: the fact that the stonecress is resistless is true if it is not non-asterismal.; int1 & int2 -> int3: the stonecress is resistless.; sent8 & sent6 -> int4: the Buffalo is not a depilatory and is a chicle.; sent4 & int4 -> int5: the stonecress is not a kind of a chicle.; int3 & int5 -> int6: the stonecress is not a kind of a chicle but it is resistless.; int6 & sent10 -> int7: the stonecress does irradiate phosphatase.; sent3 -> int8: if the stonecress does irradiate phosphatase it is not ammonitic.; int7 & int8 -> hypothesis; __PROVED__