there exists something such that if it is a rafter then it is not successful.
sent1: if something is a rafter it is successful. sent2: something is not successful if it does rafter. sent3: there is something such that if it is not non-annalistic it is not a kind of a developer. sent4: there is something such that if it does rafter it is successful.
sent2 -> int1: the scone is not successful if it does rafter.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a rafter then it is not successful. ; $context$ = sent1: if something is a rafter it is successful. sent2: something is not successful if it does rafter. sent3: there is something such that if it is not non-annalistic it is not a kind of a developer. sent4: there is something such that if it does rafter it is successful. ; $proof$ = 
sent2 -> int1: the scone is not successful if it does rafter.; int1 -> hypothesis; __PROVED__