the upholstery is not a zeolite.
sent1: the fact that the bread-bin is a checksum but it does not date awl is not correct. sent2: if the rorqual utters snaffle then the upholstery is a zeolite. sent3: if the rorqual is a kind of a quartan then that the upholstery is a zeolite is true. sent4: something that is a 1728 is weedless. sent5: the rorqual unveils overbite. sent6: the concrete does not unveil overbite if the fact that the snaffle does not unveil overbite and does not unveil Reptilia is false. sent7: the Samoan is a 1728 if that it does not date legalese and is not a pressing is false. sent8: the bread-bin is not burrlike if the fact that it is a checksum and it does not date awl does not hold. sent9: if the bread-bin is not burrlike the fact that the snaffle does not unveil overbite and does not unveil Reptilia does not hold. sent10: the concrete unveils overbite if the Samoan is not weedy. sent11: that the rorqual either utters snaffle or is a kind of a quartan or both is right if the Samoan is not a kind of a pressing.
void -> assump1: Let's assume that the fact that that the Samoan does not date legalese and it is not a kind of a pressing is incorrect is true.; sent7 & assump1 -> int1: the fact that the Samoan is a 1728 is right.; sent4 -> int2: the Samoan is weedless if it is a 1728.; int1 & int2 -> int3: the Samoan is weedless.; int3 & sent10 -> int4: the concrete does unveil overbite.; sent8 & sent1 -> int5: the bread-bin is not burrlike.; sent9 & int5 -> int6: the fact that the snaffle does not unveil overbite and it does not unveil Reptilia is incorrect.; sent6 & int6 -> int7: that the concrete does not unveil overbite hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Samoan does not date legalese and it does not press.; int9 -> int10: that the Samoan does not press is correct.; int10 & sent11 -> int11: the rorqual utters snaffle and/or it is a kind of a quartan.; int11 & sent2 & sent3 -> hypothesis;
the upholstery is not a zeolite.
$hypothesis$ = the upholstery is not a zeolite. ; $context$ = sent1: the fact that the bread-bin is a checksum but it does not date awl is not correct. sent2: if the rorqual utters snaffle then the upholstery is a zeolite. sent3: if the rorqual is a kind of a quartan then that the upholstery is a zeolite is true. sent4: something that is a 1728 is weedless. sent5: the rorqual unveils overbite. sent6: the concrete does not unveil overbite if the fact that the snaffle does not unveil overbite and does not unveil Reptilia is false. sent7: the Samoan is a 1728 if that it does not date legalese and is not a pressing is false. sent8: the bread-bin is not burrlike if the fact that it is a checksum and it does not date awl does not hold. sent9: if the bread-bin is not burrlike the fact that the snaffle does not unveil overbite and does not unveil Reptilia does not hold. sent10: the concrete unveils overbite if the Samoan is not weedy. sent11: that the rorqual either utters snaffle or is a kind of a quartan or both is right if the Samoan is not a kind of a pressing. ; $proof$ = 
void -> assump1: Let's assume that the fact that that the Samoan does not date legalese and it is not a kind of a pressing is incorrect is true.; sent7 & assump1 -> int1: the fact that the Samoan is a 1728 is right.; sent4 -> int2: the Samoan is weedless if it is a 1728.; int1 & int2 -> int3: the Samoan is weedless.; int3 & sent10 -> int4: the concrete does unveil overbite.; sent8 & sent1 -> int5: the bread-bin is not burrlike.; sent9 & int5 -> int6: the fact that the snaffle does not unveil overbite and it does not unveil Reptilia is incorrect.; sent6 & int6 -> int7: that the concrete does not unveil overbite hold.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the Samoan does not date legalese and it does not press.; int9 -> int10: that the Samoan does not press is correct.; int10 & sent11 -> int11: the rorqual utters snaffle and/or it is a kind of a quartan.; int11 & sent2 & sent3 -> hypothesis; __DISPROVED__