if the fact that the snob is a kind of a pabulum is not wrong then the fact that the canvas is not a kind of a traumatophobia and is a Vouvray is incorrect.
sent1: if something is not boskopoid that it is not a pabulum and is Homeric is not right. sent2: that the canvas is a traumatophobia and is a Vouvray is not right. sent3: the fact that the snob is a traumatophobia is not wrong. sent4: if the Maraco is boskopoid then that the canvas is not a traumatophobia but it is a kind of a Vouvray is incorrect. sent5: that the canvas is a traumatophobia and it is a kind of a Vouvray is incorrect if that the Maraco is boskopoid hold. sent6: that the snob is not a Vouvray and is a kind of a traumatophobia does not hold if the fact that the canvas is a pabulum is true. sent7: the canvas is not a traumatophobia but it is a Vouvray. sent8: that the fact that the canvas is not boskopoid but it is a pabulum is false hold if the Maraco is a Vouvray. sent9: if the snob is a kind of a pabulum then the Maraco is boskopoid. sent10: the fact that the canvas is a kind of a traumatophobia and is a Vouvray is not correct if the snob is a pabulum. sent11: the Maraco is a kind of a Vouvray. sent12: if that the canvas is a traumatophobia is not wrong that the snob is not a kind of a Vouvray but it is a pabulum is not right. sent13: the Maraco is not boskopoid if it is a traumatophobia. sent14: the canvas is not a traumatophobia and is a kind of a Vouvray if the snob is a pabulum. sent15: if the Maraco is boskopoid the canvas is both not a traumatophobia and a Vouvray. sent16: the canvas is a pabulum if the snob is a Vouvray.
void -> assump1: Let's assume that the snob is a kind of a pabulum.; sent9 & assump1 -> int1: that the Maraco is boskopoid is not false.; sent4 & int1 -> int2: the fact that the canvas is not a traumatophobia but a Vouvray is false.; [assump1] & int2 -> hypothesis;
the fact that the fact that the canvas is non-dolichocephalic thing that is Homeric is not wrong is not correct.
sent1 -> int3: that the Maraco is not a pabulum but it is Homeric is false if it is not boskopoid.;
$hypothesis$ = if the fact that the snob is a kind of a pabulum is not wrong then the fact that the canvas is not a kind of a traumatophobia and is a Vouvray is incorrect. ; $context$ = sent1: if something is not boskopoid that it is not a pabulum and is Homeric is not right. sent2: that the canvas is a traumatophobia and is a Vouvray is not right. sent3: the fact that the snob is a traumatophobia is not wrong. sent4: if the Maraco is boskopoid then that the canvas is not a traumatophobia but it is a kind of a Vouvray is incorrect. sent5: that the canvas is a traumatophobia and it is a kind of a Vouvray is incorrect if that the Maraco is boskopoid hold. sent6: that the snob is not a Vouvray and is a kind of a traumatophobia does not hold if the fact that the canvas is a pabulum is true. sent7: the canvas is not a traumatophobia but it is a Vouvray. sent8: that the fact that the canvas is not boskopoid but it is a pabulum is false hold if the Maraco is a Vouvray. sent9: if the snob is a kind of a pabulum then the Maraco is boskopoid. sent10: the fact that the canvas is a kind of a traumatophobia and is a Vouvray is not correct if the snob is a pabulum. sent11: the Maraco is a kind of a Vouvray. sent12: if that the canvas is a traumatophobia is not wrong that the snob is not a kind of a Vouvray but it is a pabulum is not right. sent13: the Maraco is not boskopoid if it is a traumatophobia. sent14: the canvas is not a traumatophobia and is a kind of a Vouvray if the snob is a pabulum. sent15: if the Maraco is boskopoid the canvas is both not a traumatophobia and a Vouvray. sent16: the canvas is a pabulum if the snob is a Vouvray. ; $proof$ = 
void -> assump1: Let's assume that the snob is a kind of a pabulum.; sent9 & assump1 -> int1: that the Maraco is boskopoid is not false.; sent4 & int1 -> int2: the fact that the canvas is not a traumatophobia but a Vouvray is false.; [assump1] & int2 -> hypothesis; __PROVED__