the diazepam is not a kind of a carbineer.
sent1: there exists something such that it does not say. sent2: something is not a say and it is not anaphrodisiac. sent3: the burrfish is a roan and it is not non-recessive. sent4: the fact that the specifier is a rowdiness and a Fontanne is not right if that it is not euphemistic is true. sent5: if the hawthorn is not a kind of a flop the burrfish does say and is anaphrodisiac. sent6: the diazepam is a toddler if the specifier is euphemistic. sent7: the diazepam is not euphemistic. sent8: there exists something such that it is a roan. sent9: the hawthorn is not a roan if something says but it is not anaphrodisiac. sent10: if the fact that the specifier is euphemistic but it is not a kind of a stowaway does not hold then the diazepam is not a carbineer. sent11: if there exists something such that that it is a rowdiness and it is a Fontanne is not correct then the burrfish is not a kind of a stowaway. sent12: that the diazepam is a rowdiness is not incorrect. sent13: something is both not a say and anaphrodisiac. sent14: the hawthorn is a kind of a stowaway. sent15: the burrfish is not euphemistic. sent16: there is something such that it is a rowdiness and it is a Fontanne. sent17: the Spender is a kind of a stowaway if the specifier is a kind of a toddler and is not euphemistic. sent18: if something is not a roan then the burrfish is a stowaway. sent19: the burrfish is not a stowaway if there exists something such that it is not a kind of a Fontanne. sent20: if there exists something such that it is not a say and not anaphrodisiac then the hawthorn is not a roan. sent21: the strait is not a vinegar. sent22: something that is a toddler is a carbineer. sent23: if something is not a toddler the fact that it is euphemistic and it is not a stowaway is false. sent24: the hawthorn is a rowdiness if it is a kind of a roan.
void -> assump1: Let's assume that the specifier is not euphemistic.; sent4 & assump1 -> int1: that that the specifier is a rowdiness and it is a Fontanne is true is false.; int1 -> int2: there is something such that the fact that it is a rowdiness and a Fontanne does not hold.; int2 & sent11 -> int3: the burrfish is not a stowaway.; sent2 & sent20 -> int4: the hawthorn is not a roan.; int4 -> int5: there is something such that it is not a kind of a roan.; int5 & sent18 -> int6: that the burrfish is a stowaway is not wrong.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the specifier is euphemistic.; int8 & sent6 -> int9: the diazepam is a toddler.; sent22 -> int10: if the diazepam is a toddler the fact that it is a carbineer is not false.; int9 & int10 -> hypothesis;
the diazepam is not a carbineer.
sent23 -> int11: if the specifier is not a toddler that it is euphemistic and it is not a stowaway is false.; sent3 -> int12: the burrfish is a roan.;
$hypothesis$ = the diazepam is not a kind of a carbineer. ; $context$ = sent1: there exists something such that it does not say. sent2: something is not a say and it is not anaphrodisiac. sent3: the burrfish is a roan and it is not non-recessive. sent4: the fact that the specifier is a rowdiness and a Fontanne is not right if that it is not euphemistic is true. sent5: if the hawthorn is not a kind of a flop the burrfish does say and is anaphrodisiac. sent6: the diazepam is a toddler if the specifier is euphemistic. sent7: the diazepam is not euphemistic. sent8: there exists something such that it is a roan. sent9: the hawthorn is not a roan if something says but it is not anaphrodisiac. sent10: if the fact that the specifier is euphemistic but it is not a kind of a stowaway does not hold then the diazepam is not a carbineer. sent11: if there exists something such that that it is a rowdiness and it is a Fontanne is not correct then the burrfish is not a kind of a stowaway. sent12: that the diazepam is a rowdiness is not incorrect. sent13: something is both not a say and anaphrodisiac. sent14: the hawthorn is a kind of a stowaway. sent15: the burrfish is not euphemistic. sent16: there is something such that it is a rowdiness and it is a Fontanne. sent17: the Spender is a kind of a stowaway if the specifier is a kind of a toddler and is not euphemistic. sent18: if something is not a roan then the burrfish is a stowaway. sent19: the burrfish is not a stowaway if there exists something such that it is not a kind of a Fontanne. sent20: if there exists something such that it is not a say and not anaphrodisiac then the hawthorn is not a roan. sent21: the strait is not a vinegar. sent22: something that is a toddler is a carbineer. sent23: if something is not a toddler the fact that it is euphemistic and it is not a stowaway is false. sent24: the hawthorn is a rowdiness if it is a kind of a roan. ; $proof$ = 
void -> assump1: Let's assume that the specifier is not euphemistic.; sent4 & assump1 -> int1: that that the specifier is a rowdiness and it is a Fontanne is true is false.; int1 -> int2: there is something such that the fact that it is a rowdiness and a Fontanne does not hold.; int2 & sent11 -> int3: the burrfish is not a stowaway.; sent2 & sent20 -> int4: the hawthorn is not a roan.; int4 -> int5: there is something such that it is not a kind of a roan.; int5 & sent18 -> int6: that the burrfish is a stowaway is not wrong.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the specifier is euphemistic.; int8 & sent6 -> int9: the diazepam is a toddler.; sent22 -> int10: if the diazepam is a toddler the fact that it is a carbineer is not false.; int9 & int10 -> hypothesis; __DISPROVED__