the admixture is not a speedway.
sent1: something is heliacal and it is an ampersand if it is not occupational. sent2: the clothesbrush is occupational. sent3: the fact that the clothesbrush is not an ampersand and is occupational is not right if there exists something such that it is not an agility. sent4: the clothesbrush is an ampersand. sent5: the admixture is a kind of a handclap. sent6: the twinkler is a handclap if the clothesbrush is not a kind of an agility. sent7: that the occult is a chop that does not queue mullioned is not true. sent8: something is resolute and is a handclap if it is not a kind of a chop. sent9: the twinkler is occupational if the clothesbrush is not a handclap. sent10: something is not a speedway if it is occupational and it is a handclap. sent11: the calcification is not occupational if that the clothesbrush is not an agility and is not a handclap does not hold. sent12: if something that is resolute is a handclap it is not an agility. sent13: that the twinkler is not resolute but it is a speedway does not hold if the admixture chops. sent14: something is not an agility if it is a kind of an ampersand and it is occupational. sent15: there is nothing such that it is not an agility and it is not a handclap. sent16: the fact that the admixture is a speedway is true if the twinkler is a handclap. sent17: the twinkler is a speedway.
sent4 & sent2 -> int1: the clothesbrush is a kind of an ampersand and it is occupational.; sent14 -> int2: if the clothesbrush is a kind of an ampersand that is occupational it is not an agility.; int1 & int2 -> int3: the fact that the clothesbrush is not an agility is not incorrect.; int3 & sent6 -> int4: that the twinkler is a handclap is correct.; int4 & sent16 -> hypothesis;
the calcification is heliacal and it is a colored.
sent1 -> int5: the calcification is a kind of heliacal an ampersand if it is not occupational.; sent15 -> int6: that the clothesbrush is not an agility and it is not a kind of a handclap is not correct.; sent11 & int6 -> int7: that the calcification is not occupational is true.; int5 & int7 -> int8: the calcification is not non-heliacal but an ampersand.; int8 -> int9: the calcification is heliacal.;
$hypothesis$ = the admixture is not a speedway. ; $context$ = sent1: something is heliacal and it is an ampersand if it is not occupational. sent2: the clothesbrush is occupational. sent3: the fact that the clothesbrush is not an ampersand and is occupational is not right if there exists something such that it is not an agility. sent4: the clothesbrush is an ampersand. sent5: the admixture is a kind of a handclap. sent6: the twinkler is a handclap if the clothesbrush is not a kind of an agility. sent7: that the occult is a chop that does not queue mullioned is not true. sent8: something is resolute and is a handclap if it is not a kind of a chop. sent9: the twinkler is occupational if the clothesbrush is not a handclap. sent10: something is not a speedway if it is occupational and it is a handclap. sent11: the calcification is not occupational if that the clothesbrush is not an agility and is not a handclap does not hold. sent12: if something that is resolute is a handclap it is not an agility. sent13: that the twinkler is not resolute but it is a speedway does not hold if the admixture chops. sent14: something is not an agility if it is a kind of an ampersand and it is occupational. sent15: there is nothing such that it is not an agility and it is not a handclap. sent16: the fact that the admixture is a speedway is true if the twinkler is a handclap. sent17: the twinkler is a speedway. ; $proof$ = 
sent4 & sent2 -> int1: the clothesbrush is a kind of an ampersand and it is occupational.; sent14 -> int2: if the clothesbrush is a kind of an ampersand that is occupational it is not an agility.; int1 & int2 -> int3: the fact that the clothesbrush is not an agility is not incorrect.; int3 & sent6 -> int4: that the twinkler is a handclap is correct.; int4 & sent16 -> hypothesis; __DISPROVED__