that the moocher is a Vela is not wrong.
sent1: if the link is a photosensitivity the fat is invisible. sent2: if the fact that the Zinfandel is a gipsywort and not a prodigy is false then the fat is a kind of a misgovernment. sent3: the link is a photosensitivity. sent4: if the fact that the fat is invisible but it is not a gipsywort does not hold the moocher is a kind of a Vela. sent5: if that the fat is not a prodigy is correct then the Zinfandel is invisible. sent6: the quoit is a Vela. sent7: the fact that the moocher is not a Vela is not wrong if something is a misgovernment and is invisible. sent8: that the Zinfandel is a gipsywort but it is not a prodigy is not true.
sent2 & sent8 -> int1: the fat is a kind of a misgovernment.; sent1 & sent3 -> int2: the fat is invisible.; int1 & int2 -> int3: the fat is a misgovernment and is invisible.; int3 -> int4: there is something such that it is a misgovernment and it is invisible.; int4 & sent7 -> hypothesis;
$hypothesis$ = that the moocher is a Vela is not wrong. ; $context$ = sent1: if the link is a photosensitivity the fat is invisible. sent2: if the fact that the Zinfandel is a gipsywort and not a prodigy is false then the fat is a kind of a misgovernment. sent3: the link is a photosensitivity. sent4: if the fact that the fat is invisible but it is not a gipsywort does not hold the moocher is a kind of a Vela. sent5: if that the fat is not a prodigy is correct then the Zinfandel is invisible. sent6: the quoit is a Vela. sent7: the fact that the moocher is not a Vela is not wrong if something is a misgovernment and is invisible. sent8: that the Zinfandel is a gipsywort but it is not a prodigy is not true. ; $proof$ = 
sent2 & sent8 -> int1: the fat is a kind of a misgovernment.; sent1 & sent3 -> int2: the fat is invisible.; int1 & int2 -> int3: the fat is a misgovernment and is invisible.; int3 -> int4: there is something such that it is a misgovernment and it is invisible.; int4 & sent7 -> hypothesis; __DISPROVED__