if the bullyboy is a discretion the davenport is both not a pogonion and nonastringent.
sent1: the hideout is nonastringent and does clap Acular. sent2: the paranoid is a kind of an unrest and it is nonastringent. sent3: if there is something such that the fact that it does not clap proctor and it does not spurt jug does not hold then the davenport is not a kind of a pogonion. sent4: the Acular is not a discretion if there exists something such that the fact that it is not a kind of a pogonion and is not nonastringent does not hold. sent5: that if the hideout is nonastringent the davenport is nonastringent is right. sent6: the fact that the bullyboy does not clap proctor and does not spurt jug is false if it is a kind of a discretion. sent7: the hideout claps Acular.
void -> assump1: Let's assume that the fact that the bullyboy is a kind of a discretion is not incorrect.; sent6 & assump1 -> int1: the fact that the bullyboy does not clap proctor and it does not spurt jug is not right.; int1 -> int2: there exists something such that that it does not clap proctor and does not spurt jug is wrong.; int2 & sent3 -> int3: the davenport is not a kind of a pogonion.; sent1 -> int4: the hideout is nonastringent.; sent5 & int4 -> int5: the davenport is nonastringent.; int3 & int5 -> int6: the davenport is not a kind of a pogonion but it is nonastringent.; [assump1] & int6 -> hypothesis;
the Acular is not a discretion.
$hypothesis$ = if the bullyboy is a discretion the davenport is both not a pogonion and nonastringent. ; $context$ = sent1: the hideout is nonastringent and does clap Acular. sent2: the paranoid is a kind of an unrest and it is nonastringent. sent3: if there is something such that the fact that it does not clap proctor and it does not spurt jug does not hold then the davenport is not a kind of a pogonion. sent4: the Acular is not a discretion if there exists something such that the fact that it is not a kind of a pogonion and is not nonastringent does not hold. sent5: that if the hideout is nonastringent the davenport is nonastringent is right. sent6: the fact that the bullyboy does not clap proctor and does not spurt jug is false if it is a kind of a discretion. sent7: the hideout claps Acular. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bullyboy is a kind of a discretion is not incorrect.; sent6 & assump1 -> int1: the fact that the bullyboy does not clap proctor and it does not spurt jug is not right.; int1 -> int2: there exists something such that that it does not clap proctor and does not spurt jug is wrong.; int2 & sent3 -> int3: the davenport is not a kind of a pogonion.; sent1 -> int4: the hideout is nonastringent.; sent5 & int4 -> int5: the davenport is nonastringent.; int3 & int5 -> int6: the davenport is not a kind of a pogonion but it is nonastringent.; [assump1] & int6 -> hypothesis; __PROVED__