there is something such that if that it does preside is true it is a daub.
sent1: something is a kind of a daub if it is a kind of a shinny. sent2: something is a shinny if it is a kind of a righteousness. sent3: if the erosion presides then the fact that it is a righteousness hold.
void -> assump1: Let's assume that the erosion presides.; sent3 & assump1 -> int1: the erosion is a kind of a righteousness.; sent2 -> int2: if the erosion is a righteousness it is a shinny.; int1 & int2 -> int3: the erosion is a shinny.; sent1 -> int4: if the fact that the erosion is a shinny is not incorrect it is a kind of a daub.; int3 & int4 -> int5: the erosion daubs.; [assump1] & int5 -> int6: the erosion does daub if it presides.; int6 -> hypothesis;
$hypothesis$ = there is something such that if that it does preside is true it is a daub. ; $context$ = sent1: something is a kind of a daub if it is a kind of a shinny. sent2: something is a shinny if it is a kind of a righteousness. sent3: if the erosion presides then the fact that it is a righteousness hold. ; $proof$ = 
void -> assump1: Let's assume that the erosion presides.; sent3 & assump1 -> int1: the erosion is a kind of a righteousness.; sent2 -> int2: if the erosion is a righteousness it is a shinny.; int1 & int2 -> int3: the erosion is a shinny.; sent1 -> int4: if the fact that the erosion is a shinny is not incorrect it is a kind of a daub.; int3 & int4 -> int5: the erosion daubs.; [assump1] & int5 -> int6: the erosion does daub if it presides.; int6 -> hypothesis; __PROVED__