there exists something such that if it does not shun fingerprinting the fact that it is mousy and/or it is a probable does not hold.
sent1: the fact that the gibbon is mousy or probable or both does not hold if it does not shun fingerprinting.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not shun fingerprinting the fact that it is mousy and/or it is a probable does not hold. ; $context$ = sent1: the fact that the gibbon is mousy or probable or both does not hold if it does not shun fingerprinting. ; $proof$ = 
sent1 -> hypothesis; __PROVED__