the Simoniz is ecdemic.
sent1: the Simoniz is a reinforcement. sent2: the fact that the clock is a kind of a reinforcement is correct. sent3: the musculature is a yip if the Simoniz is not a reinforcement but it is a decrescendo. sent4: if that the Simoniz is not a kind of a yip and is not a reinforcement is not correct then it decrescendos. sent5: the Simoniz is not a yip. sent6: the Simoniz is ecdemic if it does decrescendo.
void -> assump1: Let's assume that the Simoniz is not a yip and it is not a reinforcement.; assump1 -> int1: the Simoniz is not a reinforcement.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the Simoniz is not a yip and it is not a reinforcement is not right.; int3 & sent4 -> int4: the Simoniz is a decrescendo.; int4 & sent6 -> hypothesis;
the musculature is a yip.
$hypothesis$ = the Simoniz is ecdemic. ; $context$ = sent1: the Simoniz is a reinforcement. sent2: the fact that the clock is a kind of a reinforcement is correct. sent3: the musculature is a yip if the Simoniz is not a reinforcement but it is a decrescendo. sent4: if that the Simoniz is not a kind of a yip and is not a reinforcement is not correct then it decrescendos. sent5: the Simoniz is not a yip. sent6: the Simoniz is ecdemic if it does decrescendo. ; $proof$ = 
void -> assump1: Let's assume that the Simoniz is not a yip and it is not a reinforcement.; assump1 -> int1: the Simoniz is not a reinforcement.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the Simoniz is not a yip and it is not a reinforcement is not right.; int3 & sent4 -> int4: the Simoniz is a decrescendo.; int4 & sent6 -> hypothesis; __PROVED__