that the chewink is not a kind of a Maltese but it is a lobbyist is wrong.
sent1: if that the dado is not a lobbyist is correct then the chlorite is a kind of a stickiness and is not sartorial. sent2: the fact that the gateau is a kind of unairworthy thing that does not truck Fentanyl is not false. sent3: if the fact that something opens Lanius and striates is wrong then that it is not anorthitic is right. sent4: if that the chlorite is a kind of a anticholinergic is true then it is stainable. sent5: if there is something such that it is both a stickiness and non-sartorial then the tinamou is a kind of a stairhead. sent6: the tinamou is not anorthitic if it does not open Lanius. sent7: something is a kind of non-Maltese thing that is a kind of a lobbyist if it is not a stairhead. sent8: there is something such that it does not striate. sent9: the fact that the chewink is a Maltese that is a kind of a lobbyist is false if that the dado is a lobbyist is not incorrect. sent10: the chlorite is a stickiness. sent11: something that is a kind of a Curtiss is anorthitic. sent12: there exists something such that it is not sartorial. sent13: if the tinamou is a stairhead it is a kind of a Curtiss. sent14: the fact that the chewink is non-Maltese but it is a lobbyist is incorrect if the dado is a kind of a lobbyist. sent15: if there is something such that it is non-striate that that the tinamou does open Lanius and does non-striate hold does not hold.
void -> assump1: Let's assume that the fact that the dado is not a lobbyist is not incorrect.; sent1 & assump1 -> int1: the chlorite is a stickiness but it is not sartorial.; int1 -> int2: there exists something such that it is a stickiness and it is not sartorial.; int2 & sent5 -> int3: the tinamou is a stairhead.; int3 & sent13 -> int4: the tinamou is a Curtiss.; sent11 -> int5: the tinamou is anorthitic if it is a kind of a Curtiss.; int4 & int5 -> int6: the tinamou is anorthitic.; sent3 -> int7: the tinamou is not anorthitic if that it opens Lanius and it is striate does not hold.; sent8 & sent15 -> int8: that the tinamou opens Lanius and it does striate does not hold.; int7 & int8 -> int9: the tinamou is not anorthitic.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the dado is a lobbyist.; int11 & sent14 -> hypothesis;
the chewink is non-Maltese thing that is a lobbyist.
sent7 -> int12: the chewink is not Maltese but a lobbyist if it is not a kind of a stairhead.;
$hypothesis$ = that the chewink is not a kind of a Maltese but it is a lobbyist is wrong. ; $context$ = sent1: if that the dado is not a lobbyist is correct then the chlorite is a kind of a stickiness and is not sartorial. sent2: the fact that the gateau is a kind of unairworthy thing that does not truck Fentanyl is not false. sent3: if the fact that something opens Lanius and striates is wrong then that it is not anorthitic is right. sent4: if that the chlorite is a kind of a anticholinergic is true then it is stainable. sent5: if there is something such that it is both a stickiness and non-sartorial then the tinamou is a kind of a stairhead. sent6: the tinamou is not anorthitic if it does not open Lanius. sent7: something is a kind of non-Maltese thing that is a kind of a lobbyist if it is not a stairhead. sent8: there is something such that it does not striate. sent9: the fact that the chewink is a Maltese that is a kind of a lobbyist is false if that the dado is a lobbyist is not incorrect. sent10: the chlorite is a stickiness. sent11: something that is a kind of a Curtiss is anorthitic. sent12: there exists something such that it is not sartorial. sent13: if the tinamou is a stairhead it is a kind of a Curtiss. sent14: the fact that the chewink is non-Maltese but it is a lobbyist is incorrect if the dado is a kind of a lobbyist. sent15: if there is something such that it is non-striate that that the tinamou does open Lanius and does non-striate hold does not hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the dado is not a lobbyist is not incorrect.; sent1 & assump1 -> int1: the chlorite is a stickiness but it is not sartorial.; int1 -> int2: there exists something such that it is a stickiness and it is not sartorial.; int2 & sent5 -> int3: the tinamou is a stairhead.; int3 & sent13 -> int4: the tinamou is a Curtiss.; sent11 -> int5: the tinamou is anorthitic if it is a kind of a Curtiss.; int4 & int5 -> int6: the tinamou is anorthitic.; sent3 -> int7: the tinamou is not anorthitic if that it opens Lanius and it is striate does not hold.; sent8 & sent15 -> int8: that the tinamou opens Lanius and it does striate does not hold.; int7 & int8 -> int9: the tinamou is not anorthitic.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the dado is a lobbyist.; int11 & sent14 -> hypothesis; __PROVED__