there exists something such that if the fact that it butterflies does not hold the fact that it is non-aeriferous thing that does not bow Carboloy is not correct.
sent1: that something is aeriferous but it does not bow Carboloy is not correct if it is not a butterfly.
$hypothesis$ = there exists something such that if the fact that it butterflies does not hold the fact that it is non-aeriferous thing that does not bow Carboloy is not correct. ; $context$ = sent1: that something is aeriferous but it does not bow Carboloy is not correct if it is not a butterfly. ; $proof$ = 
__UNKNOWN__