the boat is not nonadhesive.
sent1: something is not a Conium but it is sidereal if it does not formalize Eruca. sent2: if the shanghaier is a Weizmann and it is a Nyamwezi it is not a chronicler. sent3: if the Tabasco is not a Conium then the shanghaier is a kind of a Conium. sent4: the ai is a biennial but it is not a kind of an acceptance. sent5: the shanghaier is a Nyamwezi. sent6: the ai is not nonadhesive if that the boat is a Conium and does not riposte settling does not hold. sent7: the sunsuit is not nonadhesive. sent8: if the fact that the ai ripostes settling and is not a Conium does not hold then the boat is not nonadhesive. sent9: the boat does not riposte settling. sent10: if the ai does riposte settling then the boat is nonadhesive. sent11: the shanghaier is a Weizmann. sent12: if the shanghaier is not a chronicler then it is non-Appalachian thing that does not riposte tenderness. sent13: everything does not riposte tenderness. sent14: the fact that the ai ripostes settling and it is a Conium is wrong. sent15: the Tabasco is not a Conium if something is sidereal and/or it formalizes Eruca. sent16: if the ai is nonadhesive but it does not riposte settling the tracheophyte is not nonadhesive.
void -> assump1: Let's assume that the ai ripostes settling but it is not a kind of a Conium.; assump1 -> int1: the ai is not a kind of a Conium.;
the tracheophyte is not nonadhesive.
sent1 -> int2: if the boat does not formalize Eruca then it is not a kind of a Conium and is sidereal.; sent11 & sent5 -> int3: the shanghaier is a Weizmann and it is a Nyamwezi.; sent2 & int3 -> int4: the shanghaier is not a chronicler.; sent12 & int4 -> int5: the shanghaier is not a Appalachian and it does not riposte tenderness.; int5 -> int6: something is non-Appalachian thing that does not riposte tenderness.;
$hypothesis$ = the boat is not nonadhesive. ; $context$ = sent1: something is not a Conium but it is sidereal if it does not formalize Eruca. sent2: if the shanghaier is a Weizmann and it is a Nyamwezi it is not a chronicler. sent3: if the Tabasco is not a Conium then the shanghaier is a kind of a Conium. sent4: the ai is a biennial but it is not a kind of an acceptance. sent5: the shanghaier is a Nyamwezi. sent6: the ai is not nonadhesive if that the boat is a Conium and does not riposte settling does not hold. sent7: the sunsuit is not nonadhesive. sent8: if the fact that the ai ripostes settling and is not a Conium does not hold then the boat is not nonadhesive. sent9: the boat does not riposte settling. sent10: if the ai does riposte settling then the boat is nonadhesive. sent11: the shanghaier is a Weizmann. sent12: if the shanghaier is not a chronicler then it is non-Appalachian thing that does not riposte tenderness. sent13: everything does not riposte tenderness. sent14: the fact that the ai ripostes settling and it is a Conium is wrong. sent15: the Tabasco is not a Conium if something is sidereal and/or it formalizes Eruca. sent16: if the ai is nonadhesive but it does not riposte settling the tracheophyte is not nonadhesive. ; $proof$ = 
void -> assump1: Let's assume that the ai ripostes settling but it is not a kind of a Conium.; assump1 -> int1: the ai is not a kind of a Conium.; __UNKNOWN__