that there is something such that if that it is an owner is correct that it does not overrefine Anthidium and is Salvadoran does not hold does not hold.
sent1: if the fact that the plunger is a kind of an owner is correct that it does not overrefine Anthidium and it is not non-Salvadoran is incorrect. sent2: there is something such that if it is an owner then the fact that it does overrefine Anthidium and is a Salvadoran is not correct.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if that it is an owner is correct that it does not overrefine Anthidium and is Salvadoran does not hold does not hold. ; $context$ = sent1: if the fact that the plunger is a kind of an owner is correct that it does not overrefine Anthidium and it is not non-Salvadoran is incorrect. sent2: there is something such that if it is an owner then the fact that it does overrefine Anthidium and is a Salvadoran is not correct. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__