the utilizer is not a whirl if the fact that the conidium is not a temporal and it is not a Sif does not hold.
sent1: if that the conidium is a kind of a temporal that is not a Sif is not right then the utilizer is not a whirl. sent2: if there is something such that it is a Z then the conidium is non-temporal thing that is not a Sif. sent3: the conidium is a kind of a temporal. sent4: the utilizer is not a Z if the strophanthin does not condemn distrust and is not a whirl. sent5: the utilizer is not a whirl if the strophanthin does not condemn distrust. sent6: if the strophanthin does condemn distrust it is a Z.
void -> assump1: Let's assume that the strophanthin does condemn distrust.; sent6 & assump1 -> int1: the strophanthin is a Z.; int1 -> int2: there exists something such that it is a Z.; int2 & sent2 -> int3: the conidium is not temporal and not a Sif.; void -> assump2: Let's assume that the fact that the fact that the conidium is not temporal and is not a kind of a Sif is true is not correct.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the strophanthin does not condemn distrust.; sent5 & int5 -> int6: the utilizer does not whirl.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the utilizer is not a whirl if the fact that the conidium is not a temporal and it is not a Sif does not hold. ; $context$ = sent1: if that the conidium is a kind of a temporal that is not a Sif is not right then the utilizer is not a whirl. sent2: if there is something such that it is a Z then the conidium is non-temporal thing that is not a Sif. sent3: the conidium is a kind of a temporal. sent4: the utilizer is not a Z if the strophanthin does not condemn distrust and is not a whirl. sent5: the utilizer is not a whirl if the strophanthin does not condemn distrust. sent6: if the strophanthin does condemn distrust it is a Z. ; $proof$ = 
void -> assump1: Let's assume that the strophanthin does condemn distrust.; sent6 & assump1 -> int1: the strophanthin is a Z.; int1 -> int2: there exists something such that it is a Z.; int2 & sent2 -> int3: the conidium is not temporal and not a Sif.; void -> assump2: Let's assume that the fact that the fact that the conidium is not temporal and is not a kind of a Sif is true is not correct.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the strophanthin does not condemn distrust.; sent5 & int5 -> int6: the utilizer does not whirl.; [assump2] & int6 -> hypothesis; __PROVED__