there exists something such that if it is titular it is totipotent.
sent1: if something is alcoholic it is not a display and is titular. sent2: the transistor does not display. sent3: something is not titular if it is both not totipotent and not a display.
void -> assump1: Let's assume that the transistor is not totipotent.; assump1 & sent2 -> int1: the transistor is not totipotent and it is not a display.; sent3 -> int2: the transistor is non-titular if it is both not totipotent and not a display.; int1 & int2 -> int3: the transistor is not titular.; void -> assump2: Let's assume that the transistor is titular.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fact that the transistor is not totipotent is false hold.; [assump2] & int5 -> int6: if the transistor is titular then it is totipotent.; int6 -> hypothesis;
the manure is not totipotent.
sent1 -> int7: the transistor is not a display but titular if it is alcoholic.;
$hypothesis$ = there exists something such that if it is titular it is totipotent. ; $context$ = sent1: if something is alcoholic it is not a display and is titular. sent2: the transistor does not display. sent3: something is not titular if it is both not totipotent and not a display. ; $proof$ = 
void -> assump1: Let's assume that the transistor is not totipotent.; assump1 & sent2 -> int1: the transistor is not totipotent and it is not a display.; sent3 -> int2: the transistor is non-titular if it is both not totipotent and not a display.; int1 & int2 -> int3: the transistor is not titular.; void -> assump2: Let's assume that the transistor is titular.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the fact that the transistor is not totipotent is false hold.; [assump2] & int5 -> int6: if the transistor is titular then it is totipotent.; int6 -> hypothesis; __PROVED__