if the ambushing Mill happens then the gripping does not occur and the quivering sinker happens.
sent1: if either the drippings or the compromising isomer or both occurs then the psycholinguisticsness does not occur. sent2: the Appalachiansness happens. sent3: the Bangladeshiness occurs. sent4: the ambushing panicle occurs and the quivering sinker happens.
void -> assump1: Let's assume that the ambushing Mill happens.; assump1 -> int1: the ambushing Mill occurs or the Bangladeshiness happens or both.; sent4 -> int2: the quivering sinker happens.;
$hypothesis$ = if the ambushing Mill happens then the gripping does not occur and the quivering sinker happens. ; $context$ = sent1: if either the drippings or the compromising isomer or both occurs then the psycholinguisticsness does not occur. sent2: the Appalachiansness happens. sent3: the Bangladeshiness occurs. sent4: the ambushing panicle occurs and the quivering sinker happens. ; $proof$ = 
void -> assump1: Let's assume that the ambushing Mill happens.; assump1 -> int1: the ambushing Mill occurs or the Bangladeshiness happens or both.; sent4 -> int2: the quivering sinker happens.; __UNKNOWN__