the pongee is both not a Leptotyphlopidae and not nonexplosive.
sent1: the fact that the pongee is not a Leptotyphlopidae but it is nonexplosive is not right if the excavator is not a kind of a Leptotyphlopidae. sent2: there exists something such that it is a Leptotyphlopidae. sent3: everything defrays allowance. sent4: the robe-de-chambre is not a commoner and it does not entrance syncope. sent5: the fact that the pongee is a kind of a Leptotyphlopidae but it is not nonexplosive is not right if the excavator is not a Leptotyphlopidae. sent6: there exists something such that it is not a Leptotyphlopidae and entrances syncope. sent7: the robe-de-chambre is not a commoner and is not nonexplosive. sent8: the excavator does not blackberry. sent9: the pongee does not entrance syncope if something is not nonexplosive and is a Leptotyphlopidae. sent10: the fact that if the robe-de-chambre is not a commoner the fact that the pongee is both not a commoner and not nonexplosive is not right is true. sent11: the excavator does not trip. sent12: there exists something such that it does entrance syncope and defrays allowance. sent13: there exists something such that it is convertible. sent14: the fact that the pongee is a kind of a Leptotyphlopidae and is not nonexplosive is not true. sent15: the robe-de-chambre is not a commoner if the fact that the excavator does not defray allowance and it is not a commoner does not hold. sent16: if the excavator does entrance syncope the fact that it does not defray allowance and it is not a commoner is not right. sent17: if the excavator is not a Leptotyphlopidae then that the pongee is not a Leptotyphlopidae and is explosive does not hold. sent18: if the packer does not entrance syncope then the excavator does entrance syncope. sent19: if something does not entrance syncope but it does defray allowance then the excavator is not a Leptotyphlopidae.
sent4 -> int1: the robe-de-chambre does not entrance syncope.; sent3 -> int2: the robe-de-chambre defrays allowance.; int1 & int2 -> int3: the robe-de-chambre does not entrance syncope but it does defray allowance.; int3 -> int4: there is something such that it does not entrance syncope and it defrays allowance.; int4 & sent19 -> int5: the excavator is not a Leptotyphlopidae.; int5 & sent17 -> hypothesis;
the pongee is not a Leptotyphlopidae and it is explosive.
$hypothesis$ = the pongee is both not a Leptotyphlopidae and not nonexplosive. ; $context$ = sent1: the fact that the pongee is not a Leptotyphlopidae but it is nonexplosive is not right if the excavator is not a kind of a Leptotyphlopidae. sent2: there exists something such that it is a Leptotyphlopidae. sent3: everything defrays allowance. sent4: the robe-de-chambre is not a commoner and it does not entrance syncope. sent5: the fact that the pongee is a kind of a Leptotyphlopidae but it is not nonexplosive is not right if the excavator is not a Leptotyphlopidae. sent6: there exists something such that it is not a Leptotyphlopidae and entrances syncope. sent7: the robe-de-chambre is not a commoner and is not nonexplosive. sent8: the excavator does not blackberry. sent9: the pongee does not entrance syncope if something is not nonexplosive and is a Leptotyphlopidae. sent10: the fact that if the robe-de-chambre is not a commoner the fact that the pongee is both not a commoner and not nonexplosive is not right is true. sent11: the excavator does not trip. sent12: there exists something such that it does entrance syncope and defrays allowance. sent13: there exists something such that it is convertible. sent14: the fact that the pongee is a kind of a Leptotyphlopidae and is not nonexplosive is not true. sent15: the robe-de-chambre is not a commoner if the fact that the excavator does not defray allowance and it is not a commoner does not hold. sent16: if the excavator does entrance syncope the fact that it does not defray allowance and it is not a commoner is not right. sent17: if the excavator is not a Leptotyphlopidae then that the pongee is not a Leptotyphlopidae and is explosive does not hold. sent18: if the packer does not entrance syncope then the excavator does entrance syncope. sent19: if something does not entrance syncope but it does defray allowance then the excavator is not a Leptotyphlopidae. ; $proof$ = 
sent4 -> int1: the robe-de-chambre does not entrance syncope.; sent3 -> int2: the robe-de-chambre defrays allowance.; int1 & int2 -> int3: the robe-de-chambre does not entrance syncope but it does defray allowance.; int3 -> int4: there is something such that it does not entrance syncope and it defrays allowance.; int4 & sent19 -> int5: the excavator is not a Leptotyphlopidae.; int5 & sent17 -> hypothesis; __DISPROVED__