the stockfish is not a Athelstan.
sent1: if the ice-skater is not a winger then the stockfish is not a kind of a Athelstan. sent2: that something is not a scent and is basilar is false if it is a kind of a pneumococcus. sent3: the claustrum does hum windsock and is not a down if the bacchante does not hum overlap. sent4: the syringe does hum windsock. sent5: the fact that the patrial is not a down and does not hum windsock is wrong if it is not a winger. sent6: the bacchante does not hum overlap if something that is not a pneumococcus is a probe. sent7: if the fact that something is a pneumococcus that is not a Athelstan is not correct it is a Athelstan. sent8: there is something such that that it is both not an organism and a wrath is not right. sent9: if there is something such that the fact that it is not an organism and it is a wrath is not correct then the patrial is not a pneumococcus. sent10: if the claustrum does hum windsock but it is not down then the ice-skater is not a winger. sent11: the syringe is not a pneumococcus if the patrial is not a pneumococcus. sent12: if the patrial is not a kind of a pneumococcus the syringe is not a pneumococcus but it is a kind of a probe. sent13: something is a Athelstan and hums overlap if it does not probe. sent14: the patrial is not a kind of a probe if that it does not down and it does not hum windsock does not hold.
sent8 & sent9 -> int1: that the patrial is not a pneumococcus is not false.; sent12 & int1 -> int2: the syringe is both not a pneumococcus and a probe.; int2 -> int3: there is something such that it is not a pneumococcus and it is a probe.; int3 & sent6 -> int4: the bacchante does not hum overlap.; sent3 & int4 -> int5: the claustrum hums windsock but it is not down.; sent10 & int5 -> int6: the ice-skater is not a winger.; sent1 & int6 -> hypothesis;
there exists something such that that it does not scent and it is basilar does not hold.
sent2 -> int7: that the patrial does not scent but it is basilar is incorrect if it is a pneumococcus.; sent4 -> int8: there exists something such that it hums windsock.;
$hypothesis$ = the stockfish is not a Athelstan. ; $context$ = sent1: if the ice-skater is not a winger then the stockfish is not a kind of a Athelstan. sent2: that something is not a scent and is basilar is false if it is a kind of a pneumococcus. sent3: the claustrum does hum windsock and is not a down if the bacchante does not hum overlap. sent4: the syringe does hum windsock. sent5: the fact that the patrial is not a down and does not hum windsock is wrong if it is not a winger. sent6: the bacchante does not hum overlap if something that is not a pneumococcus is a probe. sent7: if the fact that something is a pneumococcus that is not a Athelstan is not correct it is a Athelstan. sent8: there is something such that that it is both not an organism and a wrath is not right. sent9: if there is something such that the fact that it is not an organism and it is a wrath is not correct then the patrial is not a pneumococcus. sent10: if the claustrum does hum windsock but it is not down then the ice-skater is not a winger. sent11: the syringe is not a pneumococcus if the patrial is not a pneumococcus. sent12: if the patrial is not a kind of a pneumococcus the syringe is not a pneumococcus but it is a kind of a probe. sent13: something is a Athelstan and hums overlap if it does not probe. sent14: the patrial is not a kind of a probe if that it does not down and it does not hum windsock does not hold. ; $proof$ = 
sent8 & sent9 -> int1: that the patrial is not a pneumococcus is not false.; sent12 & int1 -> int2: the syringe is both not a pneumococcus and a probe.; int2 -> int3: there is something such that it is not a pneumococcus and it is a probe.; int3 & sent6 -> int4: the bacchante does not hum overlap.; sent3 & int4 -> int5: the claustrum hums windsock but it is not down.; sent10 & int5 -> int6: the ice-skater is not a winger.; sent1 & int6 -> hypothesis; __PROVED__