the zamia is a sooth.
sent1: if the guttersnipe equals the hierarch does tighten exhausted. sent2: if the conidiophore is a bovine it does not tighten exhausted and it does tighten conidiophore. sent3: that something is cosmic if it does not detoxify and it is a continuation hold. sent4: the hierarch is trabecular. sent5: the zamia is not bovine but it is a pedal. sent6: something does not detoxify if it is not trabecular. sent7: the hierarch is not equal if the conidiophore does not tighten exhausted and tightens conidiophore. sent8: if the conidiophore is non-bovine and does not tighten conidiophore then the guttersnipe is not trabecular. sent9: the conidiophore is not bovine and it does not tighten conidiophore. sent10: something that is cosmic is equal. sent11: the guttersnipe is not trabecular if the conidiophore is a kind of a bovine that does not tighten conidiophore. sent12: if that the hierarch does tighten exhausted hold then the zamia is a kind of a sooth. sent13: if something is not trabecular it does not detoxify and it is a continuation.
sent13 -> int1: if the guttersnipe is not trabecular it does not detoxify and is a continuation.; sent8 & sent9 -> int2: the guttersnipe is not trabecular.; int1 & int2 -> int3: the guttersnipe does not detoxify but it is a kind of a continuation.; sent3 -> int4: if the guttersnipe does not detoxify but it is a continuation it is cosmic.; int3 & int4 -> int5: the guttersnipe is cosmic.; sent10 -> int6: if the guttersnipe is cosmic then it equals.; int5 & int6 -> int7: the guttersnipe does equal.; int7 & sent1 -> int8: the hierarch tightens exhausted.; int8 & sent12 -> hypothesis;
the zamia is not a sooth.
$hypothesis$ = the zamia is a sooth. ; $context$ = sent1: if the guttersnipe equals the hierarch does tighten exhausted. sent2: if the conidiophore is a bovine it does not tighten exhausted and it does tighten conidiophore. sent3: that something is cosmic if it does not detoxify and it is a continuation hold. sent4: the hierarch is trabecular. sent5: the zamia is not bovine but it is a pedal. sent6: something does not detoxify if it is not trabecular. sent7: the hierarch is not equal if the conidiophore does not tighten exhausted and tightens conidiophore. sent8: if the conidiophore is non-bovine and does not tighten conidiophore then the guttersnipe is not trabecular. sent9: the conidiophore is not bovine and it does not tighten conidiophore. sent10: something that is cosmic is equal. sent11: the guttersnipe is not trabecular if the conidiophore is a kind of a bovine that does not tighten conidiophore. sent12: if that the hierarch does tighten exhausted hold then the zamia is a kind of a sooth. sent13: if something is not trabecular it does not detoxify and it is a continuation. ; $proof$ = 
sent13 -> int1: if the guttersnipe is not trabecular it does not detoxify and is a continuation.; sent8 & sent9 -> int2: the guttersnipe is not trabecular.; int1 & int2 -> int3: the guttersnipe does not detoxify but it is a kind of a continuation.; sent3 -> int4: if the guttersnipe does not detoxify but it is a continuation it is cosmic.; int3 & int4 -> int5: the guttersnipe is cosmic.; sent10 -> int6: if the guttersnipe is cosmic then it equals.; int5 & int6 -> int7: the guttersnipe does equal.; int7 & sent1 -> int8: the hierarch tightens exhausted.; int8 & sent12 -> hypothesis; __PROVED__