there exists something such that if that it does not jack nothingness and reruns pile does not hold then it is a kind of a circular.
sent1: if that the prowler does not jack nothingness but it reruns pile does not hold it is a circular.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does not jack nothingness and reruns pile does not hold then it is a kind of a circular. ; $context$ = sent1: if that the prowler does not jack nothingness but it reruns pile does not hold it is a circular. ; $proof$ = 
sent1 -> hypothesis; __PROVED__