the villa is extrasystolic.
sent1: if there exists something such that it is not bacteriostatic and it is not angelic then the villa is extrasystolic. sent2: there exists something such that it does not elope and it is not unquiet. sent3: the fact that the fiddlestick is bacteriostatic but it does not elope is wrong. sent4: if the whitebait does not configure Gnosticism it does not elope and it does imbue. sent5: the fact that if that something does not elope is not wrong the fiddlestick is a UNESCO hold. sent6: if the fiddlestick is not undrinkable it does not elope and it does configure Gnosticism. sent7: the coreid is not undrinkable. sent8: if something is not a UNESCO then it is non-extrasystolic. sent9: if that the coreid is not bacteriostatic and it is not angelic does not hold then the trophotropism is not a Cercopithecus. sent10: if the coreid is a kind of unquiet thing that is bacteriostatic the whitebait is not undrinkable. sent11: the whitebait is not unquiet if the fiddlestick does not elope but it configures Gnosticism. sent12: the fact that if there exists something such that it is not a Cercopithecus then the whitebait imbues but it is not a UNESCO is correct. sent13: the coreid is not bacteriostatic. sent14: the fiddlestick is not undrinkable.
void -> assump1: Let's assume that the fact that the coreid is both non-bacteriostatic and not angelic is false.; sent9 & assump1 -> int1: the trophotropism is not a Cercopithecus.; int1 -> int2: there exists something such that it is not a kind of a Cercopithecus.; int2 & sent12 -> int3: the whitebait does imbue but it is not a UNESCO.; sent6 & sent14 -> int4: the fiddlestick does not elope but it does configure Gnosticism.; sent11 & int4 -> int5: that the whitebait is not unquiet is not false.;
the villa is not extrasystolic.
sent8 -> int6: if the villa is not a kind of a UNESCO then it is not extrasystolic.;
$hypothesis$ = the villa is extrasystolic. ; $context$ = sent1: if there exists something such that it is not bacteriostatic and it is not angelic then the villa is extrasystolic. sent2: there exists something such that it does not elope and it is not unquiet. sent3: the fact that the fiddlestick is bacteriostatic but it does not elope is wrong. sent4: if the whitebait does not configure Gnosticism it does not elope and it does imbue. sent5: the fact that if that something does not elope is not wrong the fiddlestick is a UNESCO hold. sent6: if the fiddlestick is not undrinkable it does not elope and it does configure Gnosticism. sent7: the coreid is not undrinkable. sent8: if something is not a UNESCO then it is non-extrasystolic. sent9: if that the coreid is not bacteriostatic and it is not angelic does not hold then the trophotropism is not a Cercopithecus. sent10: if the coreid is a kind of unquiet thing that is bacteriostatic the whitebait is not undrinkable. sent11: the whitebait is not unquiet if the fiddlestick does not elope but it configures Gnosticism. sent12: the fact that if there exists something such that it is not a Cercopithecus then the whitebait imbues but it is not a UNESCO is correct. sent13: the coreid is not bacteriostatic. sent14: the fiddlestick is not undrinkable. ; $proof$ = 
void -> assump1: Let's assume that the fact that the coreid is both non-bacteriostatic and not angelic is false.; sent9 & assump1 -> int1: the trophotropism is not a Cercopithecus.; int1 -> int2: there exists something such that it is not a kind of a Cercopithecus.; int2 & sent12 -> int3: the whitebait does imbue but it is not a UNESCO.; sent6 & sent14 -> int4: the fiddlestick does not elope but it does configure Gnosticism.; sent11 & int4 -> int5: that the whitebait is not unquiet is not false.; __UNKNOWN__