if the scuff does etiolate then the transcription is a echocardiography but it is not a sedan.
sent1: there exists something such that it etiolates. sent2: if there is something such that it does stop the fact that the transcription is not a sedan is not false. sent3: the fact that the transcription is not a sedan hold if there exists something such that it is a stop and/or it etiolates.
void -> assump1: Let's assume that the scuff etiolates.; assump1 -> int1: the scuff does stop and/or it does etiolate.; int1 -> int2: something either stops or does etiolate or both.; int2 & sent3 -> int3: the transcription is not a sedan.;
$hypothesis$ = if the scuff does etiolate then the transcription is a echocardiography but it is not a sedan. ; $context$ = sent1: there exists something such that it etiolates. sent2: if there is something such that it does stop the fact that the transcription is not a sedan is not false. sent3: the fact that the transcription is not a sedan hold if there exists something such that it is a stop and/or it etiolates. ; $proof$ = 
void -> assump1: Let's assume that the scuff etiolates.; assump1 -> int1: the scuff does stop and/or it does etiolate.; int1 -> int2: something either stops or does etiolate or both.; int2 & sent3 -> int3: the transcription is not a sedan.; __UNKNOWN__