there exists something such that if it is not an exemplar it is not a Stercorariidae.
sent1: if the microcyte is not an exemplar but it is a Stercorariidae then it does not retrograde. sent2: the microcyte is retrograde but not broadband.
void -> assump2: Let's assume that the microcyte is not an exemplar.; void -> assump1: Let's assume that the microcyte is a Stercorariidae.; assump2 & assump1 -> int1: the microcyte is not a kind of an exemplar but it is a Stercorariidae.; int1 & sent1 -> int2: the microcyte does not retrograde.; sent2 -> int3: the microcyte retrogrades.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the microcyte is not a Stercorariidae.; [assump2] & int5 -> int6: if that the microcyte is not an exemplar is right then it is not a Stercorariidae.; int6 -> hypothesis;
$hypothesis$ = there exists something such that if it is not an exemplar it is not a Stercorariidae. ; $context$ = sent1: if the microcyte is not an exemplar but it is a Stercorariidae then it does not retrograde. sent2: the microcyte is retrograde but not broadband. ; $proof$ = 
void -> assump2: Let's assume that the microcyte is not an exemplar.; void -> assump1: Let's assume that the microcyte is a Stercorariidae.; assump2 & assump1 -> int1: the microcyte is not a kind of an exemplar but it is a Stercorariidae.; int1 & sent1 -> int2: the microcyte does not retrograde.; sent2 -> int3: the microcyte retrogrades.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the microcyte is not a Stercorariidae.; [assump2] & int5 -> int6: if that the microcyte is not an exemplar is right then it is not a Stercorariidae.; int6 -> hypothesis; __PROVED__