there is something such that if it reimburses inset it is not cystic and it is predictable.
sent1: if something reimburses inset then it is a kind of non-cystic thing that is predictable.
sent1 -> int1: if the pederast does reimburse inset then it is not cystic and it is predictable.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it reimburses inset it is not cystic and it is predictable. ; $context$ = sent1: if something reimburses inset then it is a kind of non-cystic thing that is predictable. ; $proof$ = 
sent1 -> int1: if the pederast does reimburse inset then it is not cystic and it is predictable.; int1 -> hypothesis; __PROVED__