the fact that the fact that the liberal does hue marksman if the shutter is crystalline is correct does not hold.
sent1: the means is a naltrexone and crystalline if there exists something such that it is not a heliotherapy. sent2: the lupine does not hue marksman. sent3: the liberal is a heliotherapy if something is not a naltrexone. sent4: the means punishes Leptodactylus and is not a naltrexone if the shutter is crystalline. sent5: the means is not a kind of a forehand. sent6: the shutter does not pass liberal. sent7: the shutter is a kind of a heliotherapy that does not hue marksman if the liberal is crystalline. sent8: the means is crystalline. sent9: the liberal punishes Leptodactylus. sent10: the means does hue marksman. sent11: the liberal is a kind of a heliotherapy. sent12: the shutter is crystalline and it is a heliotherapy. sent13: if something is not a naltrexone the liberal is a heliotherapy and it hues marksman. sent14: if there is something such that it is not a heliotherapy the shutter is crystalline thing that punishes Leptodactylus. sent15: the brit is a heliotherapy. sent16: there is something such that it does not punish Leptodactylus. sent17: if the liberal is a naltrexone then the means is crystalline thing that is not a heliotherapy.
void -> assump1: Let's assume that the fact that the shutter is crystalline is correct.; sent4 & assump1 -> int1: the means punishes Leptodactylus and is not a naltrexone.; int1 -> int2: that the means is not a naltrexone is not wrong.; int2 -> int3: something is not a naltrexone.; int3 & sent13 -> int4: the liberal is a heliotherapy and does hue marksman.; int4 -> int5: the liberal does hue marksman.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the fact that the liberal does hue marksman if the shutter is crystalline is correct does not hold. ; $context$ = sent1: the means is a naltrexone and crystalline if there exists something such that it is not a heliotherapy. sent2: the lupine does not hue marksman. sent3: the liberal is a heliotherapy if something is not a naltrexone. sent4: the means punishes Leptodactylus and is not a naltrexone if the shutter is crystalline. sent5: the means is not a kind of a forehand. sent6: the shutter does not pass liberal. sent7: the shutter is a kind of a heliotherapy that does not hue marksman if the liberal is crystalline. sent8: the means is crystalline. sent9: the liberal punishes Leptodactylus. sent10: the means does hue marksman. sent11: the liberal is a kind of a heliotherapy. sent12: the shutter is crystalline and it is a heliotherapy. sent13: if something is not a naltrexone the liberal is a heliotherapy and it hues marksman. sent14: if there is something such that it is not a heliotherapy the shutter is crystalline thing that punishes Leptodactylus. sent15: the brit is a heliotherapy. sent16: there is something such that it does not punish Leptodactylus. sent17: if the liberal is a naltrexone then the means is crystalline thing that is not a heliotherapy. ; $proof$ = 
void -> assump1: Let's assume that the fact that the shutter is crystalline is correct.; sent4 & assump1 -> int1: the means punishes Leptodactylus and is not a naltrexone.; int1 -> int2: that the means is not a naltrexone is not wrong.; int2 -> int3: something is not a naltrexone.; int3 & sent13 -> int4: the liberal is a heliotherapy and does hue marksman.; int4 -> int5: the liberal does hue marksman.; [assump1] & int5 -> hypothesis; __DISPROVED__