the digest does not despair pachysandra.
sent1: the prop does not unspell Nyiragongo if the chow is non-anecdotal. sent2: the digest does not despair pachysandra if the salpinx does conglutinate or it does unspell hopefulness or both. sent3: if there exists something such that it is anecdotal either the prop does unspell Nyiragongo or it is passionless or both. sent4: something is passionless if the fact that it does not scout and is a momism is not correct. sent5: the digest does not despair pachysandra if the salpinx does unspell hopefulness. sent6: the digest despairs pachysandra if the broody is a Anobiidae. sent7: something is a Anobiidae and/or it is a scout if it is not a kind of a momism. sent8: if the chow is not passionless the prop does not unspell Nyiragongo. sent9: that the broody is not a scout and is a momism does not hold if there exists something such that it is not a Anobiidae. sent10: the salpinx is not non-anecdotal and is trigonometric if the cardsharp does not conglutinate. sent11: something is not a kind of a Anobiidae. sent12: if something is trigonometric then it conglutinates. sent13: if the broody is passionless then the chow is passionless or it is not anecdotal or both. sent14: the broody is not a momism if the chow is a momism.
sent11 & sent9 -> int1: the fact that the broody is not a kind of a scout and is a momism is wrong.; sent4 -> int2: if that the broody is both not a scout and a momism is not correct then it is passionless.; int1 & int2 -> int3: the broody is passionless.; int3 & sent13 -> int4: the chow is not passionless and/or it is not anecdotal.; int4 & sent8 & sent1 -> int5: the prop does not unspell Nyiragongo.; sent12 -> int6: if the salpinx is trigonometric it does conglutinate.;
the digest despairs pachysandra.
sent7 -> int7: the broody is a Anobiidae and/or it is a scout if it is not a momism.;
$hypothesis$ = the digest does not despair pachysandra. ; $context$ = sent1: the prop does not unspell Nyiragongo if the chow is non-anecdotal. sent2: the digest does not despair pachysandra if the salpinx does conglutinate or it does unspell hopefulness or both. sent3: if there exists something such that it is anecdotal either the prop does unspell Nyiragongo or it is passionless or both. sent4: something is passionless if the fact that it does not scout and is a momism is not correct. sent5: the digest does not despair pachysandra if the salpinx does unspell hopefulness. sent6: the digest despairs pachysandra if the broody is a Anobiidae. sent7: something is a Anobiidae and/or it is a scout if it is not a kind of a momism. sent8: if the chow is not passionless the prop does not unspell Nyiragongo. sent9: that the broody is not a scout and is a momism does not hold if there exists something such that it is not a Anobiidae. sent10: the salpinx is not non-anecdotal and is trigonometric if the cardsharp does not conglutinate. sent11: something is not a kind of a Anobiidae. sent12: if something is trigonometric then it conglutinates. sent13: if the broody is passionless then the chow is passionless or it is not anecdotal or both. sent14: the broody is not a momism if the chow is a momism. ; $proof$ = 
sent11 & sent9 -> int1: the fact that the broody is not a kind of a scout and is a momism is wrong.; sent4 -> int2: if that the broody is both not a scout and a momism is not correct then it is passionless.; int1 & int2 -> int3: the broody is passionless.; int3 & sent13 -> int4: the chow is not passionless and/or it is not anecdotal.; int4 & sent8 & sent1 -> int5: the prop does not unspell Nyiragongo.; sent12 -> int6: if the salpinx is trigonometric it does conglutinate.; __UNKNOWN__