the fact that the mannitol does regurgitate and/or it is not a kind of an argon is not right.
sent1: if that something is not a kind of a bathroom and is not trackless is not true it is not a scombroid. sent2: the compensation is not a kind of a scombroid if that the possumwood is a scombroid and it is a airbrake is not true. sent3: if the roselle is not a kind of a Cameroon then the mannitol does not regurgitate. sent4: the roselle is vegetative and it is a scombroid if the paintbox is not a scombroid. sent5: that the mannitol is not maternal and not a bathroom is incorrect. sent6: the mannitol does snuff and/or is a Cameroon. sent7: the mannitol is a airbrake. sent8: something is not a kind of an argon if either it is vegetative or it is not a kind of an argon or both. sent9: the fact that the paintbox is both not a bathroom and not trackless is false. sent10: if that something does not curb greylag and does not arrive corral does not hold then it is not a Cameroon. sent11: if that something does not curb greylag and it is not a airbrake does not hold it is a airbrake. sent12: if the possumwood is not a Cameroon that it is a scombroid and is a airbrake is false. sent13: the undesirable is a menace and curbs duchy. sent14: if the mannitol is not a kind of a scombroid then the paintbox is a kind of a bathroom that is a kind of a scombroid. sent15: the fact that the possumwood does not curb greylag and does not arrive corral is false. sent16: if the roselle is a airbrake that the fowl is vegetative but it is not a scombroid is not true. sent17: the roselle does not regurgitate if it is a kind of a bathroom and/or is vegetative. sent18: the roselle is not a Cameroon if either it is a airbrake or it is a scombroid or both. sent19: the mannitol does not regurgitate. sent20: the fowl does snuff if there is something such that it is a snuff and/or a Cameroon. sent21: the fact that the mannitol does regurgitate and/or it is not an argon is false if the roselle is not a Cameroon.
sent1 -> int1: if the fact that the paintbox is not a bathroom and it is not trackless is incorrect then it is not a scombroid.; int1 & sent9 -> int2: the paintbox is not a kind of a scombroid.; int2 & sent4 -> int3: the roselle is vegetative a scombroid.; int3 -> int4: the roselle is a scombroid.; int4 -> int5: the roselle is a airbrake and/or it is a scombroid.; int5 & sent18 -> int6: the roselle is not a Cameroon.; int6 & sent21 -> hypothesis;
the mannitol either regurgitates or is not an argon or both.
sent8 -> int7: the roselle is not an argon if it either is vegetative or is not an argon or both.; sent10 -> int8: the fact that if that the possumwood does not curb greylag and does not arrive corral is not true the possumwood is not a kind of a Cameroon is not incorrect.; int8 & sent15 -> int9: the possumwood is not a kind of a Cameroon.; sent12 & int9 -> int10: that the possumwood is a scombroid that is a kind of a airbrake is incorrect.; sent2 & int10 -> int11: the compensation is not a scombroid.; int11 -> int12: something is not a kind of a scombroid.;
$hypothesis$ = the fact that the mannitol does regurgitate and/or it is not a kind of an argon is not right. ; $context$ = sent1: if that something is not a kind of a bathroom and is not trackless is not true it is not a scombroid. sent2: the compensation is not a kind of a scombroid if that the possumwood is a scombroid and it is a airbrake is not true. sent3: if the roselle is not a kind of a Cameroon then the mannitol does not regurgitate. sent4: the roselle is vegetative and it is a scombroid if the paintbox is not a scombroid. sent5: that the mannitol is not maternal and not a bathroom is incorrect. sent6: the mannitol does snuff and/or is a Cameroon. sent7: the mannitol is a airbrake. sent8: something is not a kind of an argon if either it is vegetative or it is not a kind of an argon or both. sent9: the fact that the paintbox is both not a bathroom and not trackless is false. sent10: if that something does not curb greylag and does not arrive corral does not hold then it is not a Cameroon. sent11: if that something does not curb greylag and it is not a airbrake does not hold it is a airbrake. sent12: if the possumwood is not a Cameroon that it is a scombroid and is a airbrake is false. sent13: the undesirable is a menace and curbs duchy. sent14: if the mannitol is not a kind of a scombroid then the paintbox is a kind of a bathroom that is a kind of a scombroid. sent15: the fact that the possumwood does not curb greylag and does not arrive corral is false. sent16: if the roselle is a airbrake that the fowl is vegetative but it is not a scombroid is not true. sent17: the roselle does not regurgitate if it is a kind of a bathroom and/or is vegetative. sent18: the roselle is not a Cameroon if either it is a airbrake or it is a scombroid or both. sent19: the mannitol does not regurgitate. sent20: the fowl does snuff if there is something such that it is a snuff and/or a Cameroon. sent21: the fact that the mannitol does regurgitate and/or it is not an argon is false if the roselle is not a Cameroon. ; $proof$ = 
sent1 -> int1: if the fact that the paintbox is not a bathroom and it is not trackless is incorrect then it is not a scombroid.; int1 & sent9 -> int2: the paintbox is not a kind of a scombroid.; int2 & sent4 -> int3: the roselle is vegetative a scombroid.; int3 -> int4: the roselle is a scombroid.; int4 -> int5: the roselle is a airbrake and/or it is a scombroid.; int5 & sent18 -> int6: the roselle is not a Cameroon.; int6 & sent21 -> hypothesis; __PROVED__