there exists something such that if that it is a kind of a sesquipedality is correct then it is anticoagulative.
sent1: if that the bratwurst does reset grooving is not incorrect that it is not a carangid and/or is a sesquipedality is incorrect. sent2: the bratwurst is not jugular but anticoagulative if that it is a sesquipedality hold. sent3: the bratwurst does not still thought-image and is reparable if it letters calcification. sent4: the translation is a sesquipedality. sent5: if the fact that either the bratwurst is not a bond or it resets grooving or both is right then it resets grooving.
void -> assump1: Let's assume that that the bratwurst is a sesquipedality is not incorrect.; sent2 & assump1 -> int1: the bratwurst is not jugular but it is anticoagulative.; int1 -> int2: the bratwurst is anticoagulative.; [assump1] & int2 -> int3: if the bratwurst is a sesquipedality it is anticoagulative.; int3 -> hypothesis;
the antiflatulent is a jugular.
$hypothesis$ = there exists something such that if that it is a kind of a sesquipedality is correct then it is anticoagulative. ; $context$ = sent1: if that the bratwurst does reset grooving is not incorrect that it is not a carangid and/or is a sesquipedality is incorrect. sent2: the bratwurst is not jugular but anticoagulative if that it is a sesquipedality hold. sent3: the bratwurst does not still thought-image and is reparable if it letters calcification. sent4: the translation is a sesquipedality. sent5: if the fact that either the bratwurst is not a bond or it resets grooving or both is right then it resets grooving. ; $proof$ = 
void -> assump1: Let's assume that that the bratwurst is a sesquipedality is not incorrect.; sent2 & assump1 -> int1: the bratwurst is not jugular but it is anticoagulative.; int1 -> int2: the bratwurst is anticoagulative.; [assump1] & int2 -> int3: if the bratwurst is a sesquipedality it is anticoagulative.; int3 -> hypothesis; __PROVED__