the duchy does not pop.
sent1: if the fact that the duchy is a kind of a pop hold then the nephron is not a faithlessness. sent2: that the Wykehamist is not a Galega and does not flick guenon is not correct if the guppy is not a division. sent3: something does not varnish waterfront and is tidy if that it is not a Galega is not false. sent4: something does not ignore flaw if it does not flick openness. sent5: if there is something such that it is both not arachnoid and not a white the guppy is not a division. sent6: the sandbagger is a kind of a Galega if that the Wykehamist is not a Galega and it does not flick guenon is wrong. sent7: the sandbagger does not flick guenon and/or it is not a division. sent8: the nephron is not a Galega if the sandbagger does not flick guenon or is not a division or both. sent9: something is not a arachnoid and it is not a white.
void -> assump1: Let's assume that the duchy does pop.; sent1 & assump1 -> int1: the nephron is not a kind of a faithlessness.; sent3 -> int2: if the nephron is not a Galega then it does not varnish waterfront and it is a kind of a tidy.; sent8 & sent7 -> int3: the nephron is not a Galega.; int2 & int3 -> int4: the nephron does not varnish waterfront and is a tidy.;
the duchy pops.
sent9 & sent5 -> int5: the fact that the guppy is not a kind of a division is not false.; sent2 & int5 -> int6: that the Wykehamist is not a Galega and does not flick guenon is wrong.; sent6 & int6 -> int7: the sandbagger is a kind of a Galega.; int7 -> int8: there is something such that it is a kind of a Galega.;
$hypothesis$ = the duchy does not pop. ; $context$ = sent1: if the fact that the duchy is a kind of a pop hold then the nephron is not a faithlessness. sent2: that the Wykehamist is not a Galega and does not flick guenon is not correct if the guppy is not a division. sent3: something does not varnish waterfront and is tidy if that it is not a Galega is not false. sent4: something does not ignore flaw if it does not flick openness. sent5: if there is something such that it is both not arachnoid and not a white the guppy is not a division. sent6: the sandbagger is a kind of a Galega if that the Wykehamist is not a Galega and it does not flick guenon is wrong. sent7: the sandbagger does not flick guenon and/or it is not a division. sent8: the nephron is not a Galega if the sandbagger does not flick guenon or is not a division or both. sent9: something is not a arachnoid and it is not a white. ; $proof$ = 
void -> assump1: Let's assume that the duchy does pop.; sent1 & assump1 -> int1: the nephron is not a kind of a faithlessness.; sent3 -> int2: if the nephron is not a Galega then it does not varnish waterfront and it is a kind of a tidy.; sent8 & sent7 -> int3: the nephron is not a Galega.; int2 & int3 -> int4: the nephron does not varnish waterfront and is a tidy.; __UNKNOWN__