there is something such that if it is not a flap it is an exponential.
sent1: if something is not a flap then that it is an exponential is right.
sent1 -> int1: if the deerskin is not a flap it is exponential.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a flap it is an exponential. ; $context$ = sent1: if something is not a flap then that it is an exponential is right. ; $proof$ = 
sent1 -> int1: if the deerskin is not a flap it is exponential.; int1 -> hypothesis; __PROVED__