the slump is not cercarial.
sent1: the slump is not a synthetic if the percussionist is synthetic thing that is not a stumping. sent2: that the slump is not cercarial is correct if that the Mycenaen is a tort but it does not reheat does not hold. sent3: the percussionist is a synthetic. sent4: if that something promotes and does not chance ironworker does not hold then it does not promotes. sent5: if something that is a tort does not reheat it does promote. sent6: if that the Mycenaen is a tort and is not cercarial does not hold the fact that it is not a kind of a tort is not wrong. sent7: something that does chance ironworker is a kind of a synthetic and does not stump. sent8: the Mycenaen is a tort. sent9: the slump is cercarial and does promote if the percussionist is not a synthetic. sent10: if the slump is not a synthetic then the fleer promotes and it is cercarial. sent11: if the Mycenaen is not a tort the slump is not cercarial.
sent5 -> int1: if the Mycenaen is a tort but it does not reheat it promotes.; void -> assump1: Let's assume that the Mycenaen is a tort and does not reheat.; int1 & assump1 -> int2: the Mycenaen does promote.; sent4 -> int3: if the fact that the Mycenaen does promote but it does not chance ironworker is false it does not promote.;
the fleer is cercarial.
sent7 -> int4: if the percussionist chances ironworker then it is a synthetic and is not a stumping.;
$hypothesis$ = the slump is not cercarial. ; $context$ = sent1: the slump is not a synthetic if the percussionist is synthetic thing that is not a stumping. sent2: that the slump is not cercarial is correct if that the Mycenaen is a tort but it does not reheat does not hold. sent3: the percussionist is a synthetic. sent4: if that something promotes and does not chance ironworker does not hold then it does not promotes. sent5: if something that is a tort does not reheat it does promote. sent6: if that the Mycenaen is a tort and is not cercarial does not hold the fact that it is not a kind of a tort is not wrong. sent7: something that does chance ironworker is a kind of a synthetic and does not stump. sent8: the Mycenaen is a tort. sent9: the slump is cercarial and does promote if the percussionist is not a synthetic. sent10: if the slump is not a synthetic then the fleer promotes and it is cercarial. sent11: if the Mycenaen is not a tort the slump is not cercarial. ; $proof$ = 
sent5 -> int1: if the Mycenaen is a tort but it does not reheat it promotes.; void -> assump1: Let's assume that the Mycenaen is a tort and does not reheat.; int1 & assump1 -> int2: the Mycenaen does promote.; sent4 -> int3: if the fact that the Mycenaen does promote but it does not chance ironworker is false it does not promote.; __UNKNOWN__