the croton is a kind of a hysterotomy.
sent1: the sunscreen does not queue self-depreciation and does not blinker foreclosure if there is something such that it is not mesolithic. sent2: there is something such that it is non-mesolithic. sent3: if the sunscreen does not queue self-depreciation and does not blinker foreclosure the croton does blinker refugee. sent4: there exists something such that it queues self-depreciation. sent5: if the fact that the sunscreen is not a hysterotomy but non-mesolithic is false the croton is not a hysterotomy. sent6: if something does blinker refugee then it is a hysterotomy.
sent2 & sent1 -> int1: the sunscreen does not queue self-depreciation and does not blinker foreclosure.; int1 & sent3 -> int2: the croton blinkers refugee.; sent6 -> int3: the croton is a kind of a hysterotomy if it blinkers refugee.; int2 & int3 -> hypothesis;
the croton is not a hysterotomy.
$hypothesis$ = the croton is a kind of a hysterotomy. ; $context$ = sent1: the sunscreen does not queue self-depreciation and does not blinker foreclosure if there is something such that it is not mesolithic. sent2: there is something such that it is non-mesolithic. sent3: if the sunscreen does not queue self-depreciation and does not blinker foreclosure the croton does blinker refugee. sent4: there exists something such that it queues self-depreciation. sent5: if the fact that the sunscreen is not a hysterotomy but non-mesolithic is false the croton is not a hysterotomy. sent6: if something does blinker refugee then it is a hysterotomy. ; $proof$ = 
sent2 & sent1 -> int1: the sunscreen does not queue self-depreciation and does not blinker foreclosure.; int1 & sent3 -> int2: the croton blinkers refugee.; sent6 -> int3: the croton is a kind of a hysterotomy if it blinkers refugee.; int2 & int3 -> hypothesis; __PROVED__