the desperado is not a kind of a commando.
sent1: if something that does not trouble tactics is an oxygen that it is thrifty hold. sent2: if something is a kind of congressional thing that is not thrifty then it does trouble tactics. sent3: the rattlesnake is thrifty if it does not trouble tactics and is an oxygen. sent4: if that the benzodiazepine is congressional and/or is not unregretful is wrong the desperado is a commando. sent5: if the rattlesnake is a Asian it is not a kind of an oxygen. sent6: if something does not trouble tactics and is unregretful it is a Asian. sent7: if the rattlesnake is a kind of a Asian then it does not trouble tactics and is not a kind of an oxygen. sent8: the rattlesnake is a Asian. sent9: that the rattlesnake is not an oxygen hold. sent10: the benzodiazepine is unregretful if there are thrifty things. sent11: if that the benzodiazepine is not non-congressional or unregretful or both is false the desperado is a commando. sent12: if something that does not trouble tactics is not an oxygen then it is thrifty. sent13: if there is something such that it is thrifty then the fact that that the benzodiazepine is either congressional or not unregretful or both is not correct hold. sent14: the benzodiazepine is unregretful.
sent12 -> int1: the rattlesnake is thrifty if it does not trouble tactics and it is not an oxygen.; sent7 & sent8 -> int2: the rattlesnake does not trouble tactics and it is not an oxygen.; int1 & int2 -> int3: the rattlesnake is thrifty.; int3 -> int4: there is something such that it is thrifty.; int4 & sent13 -> int5: the fact that the benzodiazepine either is congressional or is not unregretful or both is wrong.; int5 & sent4 -> hypothesis;
$hypothesis$ = the desperado is not a kind of a commando. ; $context$ = sent1: if something that does not trouble tactics is an oxygen that it is thrifty hold. sent2: if something is a kind of congressional thing that is not thrifty then it does trouble tactics. sent3: the rattlesnake is thrifty if it does not trouble tactics and is an oxygen. sent4: if that the benzodiazepine is congressional and/or is not unregretful is wrong the desperado is a commando. sent5: if the rattlesnake is a Asian it is not a kind of an oxygen. sent6: if something does not trouble tactics and is unregretful it is a Asian. sent7: if the rattlesnake is a kind of a Asian then it does not trouble tactics and is not a kind of an oxygen. sent8: the rattlesnake is a Asian. sent9: that the rattlesnake is not an oxygen hold. sent10: the benzodiazepine is unregretful if there are thrifty things. sent11: if that the benzodiazepine is not non-congressional or unregretful or both is false the desperado is a commando. sent12: if something that does not trouble tactics is not an oxygen then it is thrifty. sent13: if there is something such that it is thrifty then the fact that that the benzodiazepine is either congressional or not unregretful or both is not correct hold. sent14: the benzodiazepine is unregretful. ; $proof$ = 
sent12 -> int1: the rattlesnake is thrifty if it does not trouble tactics and it is not an oxygen.; sent7 & sent8 -> int2: the rattlesnake does not trouble tactics and it is not an oxygen.; int1 & int2 -> int3: the rattlesnake is thrifty.; int3 -> int4: there is something such that it is thrifty.; int4 & sent13 -> int5: the fact that the benzodiazepine either is congressional or is not unregretful or both is wrong.; int5 & sent4 -> hypothesis; __DISPROVED__