the fact that the cynic is a kind of a signet is not incorrect.
sent1: if the cynic is not a signet that it does redden nephrectomy and is not psychotherapeutic is false. sent2: the rowan is philological. sent3: if something does not redden quartz that it is non-philological is correct. sent4: if the fact that the cynic does redden nephrectomy and is not psychotherapeutic is not right then the rowan does not redden quartz.
void -> assump1: Let's assume that the cynic is not a signet.; sent1 & assump1 -> int1: that the cynic reddens nephrectomy and is not psychotherapeutic is not right.; int1 & sent4 -> int2: that the rowan does not redden quartz hold.; sent3 -> int3: the rowan is not philological if it does not redden quartz.; int2 & int3 -> int4: the rowan is not philological.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the cynic is a kind of a signet is not incorrect. ; $context$ = sent1: if the cynic is not a signet that it does redden nephrectomy and is not psychotherapeutic is false. sent2: the rowan is philological. sent3: if something does not redden quartz that it is non-philological is correct. sent4: if the fact that the cynic does redden nephrectomy and is not psychotherapeutic is not right then the rowan does not redden quartz. ; $proof$ = 
void -> assump1: Let's assume that the cynic is not a signet.; sent1 & assump1 -> int1: that the cynic reddens nephrectomy and is not psychotherapeutic is not right.; int1 & sent4 -> int2: that the rowan does not redden quartz hold.; sent3 -> int3: the rowan is not philological if it does not redden quartz.; int2 & int3 -> int4: the rowan is not philological.; int4 & sent2 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__