the vulcanite is not procedural and it does not predate.
sent1: the steeplechaser is not a humor if there exists something such that it does not subtilize wigwam and/or it is a kind of an acoustic. sent2: if the fact that the steeplechaser is a Theban is right then that the vulcanite is a kind of non-procedural thing that does not predate is incorrect. sent3: if something is not a Theban it is not an acoustic and it is not a Gallirallus. sent4: if the vulcanite is not a Theban then it does strand Loewe and it is a scaliness. sent5: the fact that something subtilizes elbow and does not birdnest discography is right if it is not a kind of a humor. sent6: something is non-procedural thing that does not predate if it is a Theban. sent7: if the vulcanite is a scaliness then the fact that the steeplechaser subtilizes elbow and does not birdnest discography does not hold.
void -> assump1: Let's assume that that the vulcanite is not a kind of a Theban is correct.; sent4 & assump1 -> int1: the fact that the vulcanite strands Loewe and it is a scaliness is right.; int1 -> int2: the vulcanite is a kind of a scaliness.; int2 & sent7 -> int3: the fact that the steeplechaser subtilizes elbow but it does not birdnest discography does not hold.; sent5 -> int4: the fact that if the steeplechaser does not humor then the steeplechaser subtilizes elbow but it does not birdnest discography is not wrong.; sent6 -> int5: the vulcanite is not procedural and it does not predate if it is a kind of a Theban.;
that the vulcanite is not procedural and it does not predate does not hold.
$hypothesis$ = the vulcanite is not procedural and it does not predate. ; $context$ = sent1: the steeplechaser is not a humor if there exists something such that it does not subtilize wigwam and/or it is a kind of an acoustic. sent2: if the fact that the steeplechaser is a Theban is right then that the vulcanite is a kind of non-procedural thing that does not predate is incorrect. sent3: if something is not a Theban it is not an acoustic and it is not a Gallirallus. sent4: if the vulcanite is not a Theban then it does strand Loewe and it is a scaliness. sent5: the fact that something subtilizes elbow and does not birdnest discography is right if it is not a kind of a humor. sent6: something is non-procedural thing that does not predate if it is a Theban. sent7: if the vulcanite is a scaliness then the fact that the steeplechaser subtilizes elbow and does not birdnest discography does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the vulcanite is not a kind of a Theban is correct.; sent4 & assump1 -> int1: the fact that the vulcanite strands Loewe and it is a scaliness is right.; int1 -> int2: the vulcanite is a kind of a scaliness.; int2 & sent7 -> int3: the fact that the steeplechaser subtilizes elbow but it does not birdnest discography does not hold.; sent5 -> int4: the fact that if the steeplechaser does not humor then the steeplechaser subtilizes elbow but it does not birdnest discography is not wrong.; sent6 -> int5: the vulcanite is not procedural and it does not predate if it is a kind of a Theban.; __UNKNOWN__