if the pleochroism is a water then the homestretch is a Scythian.
sent1: either the Gaul does antisepticize concert-goer or it is revivalistic or both. sent2: the Gaul is microeconomics if something is revivalistic or it is a kind of a water or both. sent3: there exists something such that it either antisepticizes concert-goer or is a kind of a Scythian or both. sent4: the pleochroism does double. sent5: if something is microeconomics it antisepticizes concert-goer. sent6: that the pleochroism antisepticizes concert-goer hold if the beagle does not water and it is not microeconomics. sent7: either the pleochroism does antisepticize concert-goer or it is revivalistic or both. sent8: something is a kind of a lobed if it is a Babylonian. sent9: the pleochroism is revivalistic. sent10: there is something such that it is microeconomics and/or it is a kind of a doubling. sent11: if the pleochroism is revivalistic it is a doubling. sent12: something does intrude if it is not revivalistic. sent13: the homestretch is a Scythian if the beagle is not a doubling and it does not antisepticize concert-goer. sent14: the homestretch is a kind of a Scythian if the beagle is not a doubling and antisepticizes concert-goer.
void -> assump1: Let's assume that the pleochroism is a kind of a water.; assump1 -> int1: the pleochroism is revivalistic or it does water or both.; int1 -> int2: there exists something such that either it is revivalistic or it is a water or both.; int2 & sent2 -> int3: the Gaul is microeconomics.; sent5 -> int4: the Gaul does antisepticize concert-goer if it is microeconomics.; int3 & int4 -> int5: the Gaul does antisepticize concert-goer.;
something is achondroplastic and/or it intrudes.
sent12 -> int6: the pleochroism intrudes if it is not revivalistic.;
$hypothesis$ = if the pleochroism is a water then the homestretch is a Scythian. ; $context$ = sent1: either the Gaul does antisepticize concert-goer or it is revivalistic or both. sent2: the Gaul is microeconomics if something is revivalistic or it is a kind of a water or both. sent3: there exists something such that it either antisepticizes concert-goer or is a kind of a Scythian or both. sent4: the pleochroism does double. sent5: if something is microeconomics it antisepticizes concert-goer. sent6: that the pleochroism antisepticizes concert-goer hold if the beagle does not water and it is not microeconomics. sent7: either the pleochroism does antisepticize concert-goer or it is revivalistic or both. sent8: something is a kind of a lobed if it is a Babylonian. sent9: the pleochroism is revivalistic. sent10: there is something such that it is microeconomics and/or it is a kind of a doubling. sent11: if the pleochroism is revivalistic it is a doubling. sent12: something does intrude if it is not revivalistic. sent13: the homestretch is a Scythian if the beagle is not a doubling and it does not antisepticize concert-goer. sent14: the homestretch is a kind of a Scythian if the beagle is not a doubling and antisepticizes concert-goer. ; $proof$ = 
void -> assump1: Let's assume that the pleochroism is a kind of a water.; assump1 -> int1: the pleochroism is revivalistic or it does water or both.; int1 -> int2: there exists something such that either it is revivalistic or it is a water or both.; int2 & sent2 -> int3: the Gaul is microeconomics.; sent5 -> int4: the Gaul does antisepticize concert-goer if it is microeconomics.; int3 & int4 -> int5: the Gaul does antisepticize concert-goer.; __UNKNOWN__