the xeranthemum is not a cornet.
sent1: the superhet is not a kind of a cornet if there exists something such that it is not fibrinous and it is a astrogator. sent2: the ergotamine is fibrinous if there exists something such that the fact that it is a twiddler and it is not a kind of a workbasket is incorrect. sent3: there exists something such that it is not a command and it is not a kind of a pauper. sent4: that something does not edge cattleman and it does not digitize anthropoid hold. sent5: if something that is not a command is not a pauper the ergotamine is not fibrinous. sent6: the ergotamine is fibrinous if the tailorbird is not fibrinous. sent7: there is something such that it is not a astrogator and is not a workbasket. sent8: the xeranthemum is a kind of a twiddler but it is not a cornet if the tailorbird is not a kind of a twiddler. sent9: that something is either fibrinous or a astrogator or both is wrong if it is not a pauper. sent10: there exists something such that it is not a kind of a command and is a pauper. sent11: the fact that the superhet is not a astrogator is not false if the tailorbird does twiddle and is not a workbasket. sent12: if the ergotamine does command it is not a kind of a pauper. sent13: the fact that the tailorbird is not a astrogator if the superhet is a kind of a cornet that twiddles is not incorrect. sent14: the tailorbird is not a kind of a cornet. sent15: if the superhet is not a astrogator then the xeranthemum is a astrogator but not a cornet. sent16: if the xeranthemum is not fibrinous then the ergotamine is fibrinous and is not a kind of a cornet. sent17: something is a astrogator that is not a workbasket.
void -> assump1: Let's assume that that the tailorbird does twiddle but it is not a workbasket is not right.; assump1 -> int1: there exists something such that the fact that it twiddles and is not a kind of a workbasket is not correct.; int1 & sent2 -> int2: the ergotamine is fibrinous.; sent3 & sent5 -> int3: the ergotamine is not fibrinous.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tailorbird does twiddle but it is not a workbasket.; int5 & sent11 -> int6: the superhet is not a astrogator.; int6 & sent15 -> int7: the xeranthemum is a astrogator that is not a cornet.; int7 -> hypothesis;
the xeranthemum is a kind of a cornet.
sent9 -> int8: if the ergotamine is not a pauper then that it either is not non-fibrinous or is a astrogator or both does not hold.;
$hypothesis$ = the xeranthemum is not a cornet. ; $context$ = sent1: the superhet is not a kind of a cornet if there exists something such that it is not fibrinous and it is a astrogator. sent2: the ergotamine is fibrinous if there exists something such that the fact that it is a twiddler and it is not a kind of a workbasket is incorrect. sent3: there exists something such that it is not a command and it is not a kind of a pauper. sent4: that something does not edge cattleman and it does not digitize anthropoid hold. sent5: if something that is not a command is not a pauper the ergotamine is not fibrinous. sent6: the ergotamine is fibrinous if the tailorbird is not fibrinous. sent7: there is something such that it is not a astrogator and is not a workbasket. sent8: the xeranthemum is a kind of a twiddler but it is not a cornet if the tailorbird is not a kind of a twiddler. sent9: that something is either fibrinous or a astrogator or both is wrong if it is not a pauper. sent10: there exists something such that it is not a kind of a command and is a pauper. sent11: the fact that the superhet is not a astrogator is not false if the tailorbird does twiddle and is not a workbasket. sent12: if the ergotamine does command it is not a kind of a pauper. sent13: the fact that the tailorbird is not a astrogator if the superhet is a kind of a cornet that twiddles is not incorrect. sent14: the tailorbird is not a kind of a cornet. sent15: if the superhet is not a astrogator then the xeranthemum is a astrogator but not a cornet. sent16: if the xeranthemum is not fibrinous then the ergotamine is fibrinous and is not a kind of a cornet. sent17: something is a astrogator that is not a workbasket. ; $proof$ = 
void -> assump1: Let's assume that that the tailorbird does twiddle but it is not a workbasket is not right.; assump1 -> int1: there exists something such that the fact that it twiddles and is not a kind of a workbasket is not correct.; int1 & sent2 -> int2: the ergotamine is fibrinous.; sent3 & sent5 -> int3: the ergotamine is not fibrinous.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tailorbird does twiddle but it is not a workbasket.; int5 & sent11 -> int6: the superhet is not a astrogator.; int6 & sent15 -> int7: the xeranthemum is a astrogator that is not a cornet.; int7 -> hypothesis; __PROVED__