the fact that there exists something such that if it is a Darwinian then it is not a Jewbush does not hold.
sent1: there is something such that if it is heedless then it does not squish Malaga. sent2: something is not a kind of a Jewbush if it is a Darwinian. sent3: the cowherb is a kind of a Jewbush if it is Darwinian.
sent2 -> int1: the cowherb is not a Jewbush if it is a kind of a Darwinian.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is a Darwinian then it is not a Jewbush does not hold. ; $context$ = sent1: there is something such that if it is heedless then it does not squish Malaga. sent2: something is not a kind of a Jewbush if it is a Darwinian. sent3: the cowherb is a kind of a Jewbush if it is Darwinian. ; $proof$ = 
sent2 -> int1: the cowherb is not a Jewbush if it is a kind of a Darwinian.; int1 -> hypothesis; __DISPROVED__