there is something such that if it is a coral it is an inquisition.
sent1: if the simazine is a coral then it is a kind of an inquisition.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is a coral it is an inquisition. ; $context$ = sent1: if the simazine is a coral then it is a kind of an inquisition. ; $proof$ = 
sent1 -> hypothesis; __PROVED__