the fact that there exists something such that if it is fingerless the fact that it is not plantal is not wrong is false.
sent1: the tuck is not plantal if it is fingerless.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is fingerless the fact that it is not plantal is not wrong is false. ; $context$ = sent1: the tuck is not plantal if it is fingerless. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__