that there exists something such that if it shoplifts then it is a murmuring and not oblique is incorrect.
sent1: if something does shoplift then it is a murmuring and it is not an oblique. sent2: if something is an aura then it companies fleawort and it is not caducean.
sent1 -> int1: if the overall does shoplift then it is a murmuring but not oblique.; int1 -> hypothesis;
there exists something such that if it is an aura it companies fleawort and it is not caducean.
sent2 -> int2: if the fleawort is a kind of an aura it companies fleawort and it is not caducean.; int2 -> hypothesis;
$hypothesis$ = that there exists something such that if it shoplifts then it is a murmuring and not oblique is incorrect. ; $context$ = sent1: if something does shoplift then it is a murmuring and it is not an oblique. sent2: if something is an aura then it companies fleawort and it is not caducean. ; $proof$ = 
sent1 -> int1: if the overall does shoplift then it is a murmuring but not oblique.; int1 -> hypothesis; __DISPROVED__