the glycol is not anastomotic if the patriot is non-clitoral.
sent1: the patriot is anastomotic and it is clitoral if the glycol is not a Stheno. sent2: the glycol is not cataphatic. sent3: if the patriot is not clitoral the glycol is anastomotic. sent4: the gametocyte is isothermic and is a zygote. sent5: the chaser is not a kind of a tongue. sent6: the digestive is clitoral. sent7: if the patriot is not a sensuality then the chaser is not a Stheno. sent8: the snowflake is a Stheno. sent9: the personification is not clitoral. sent10: something is anastomotic if it is a kind of a tongue. sent11: the patriot is anastomotic. sent12: if the chaser is not anastomotic the glycol is a sensuality and it is a kind of a tongue. sent13: if the patriot is a Stheno then the fact that it does not tongue is not wrong. sent14: the glycol is a sensuality that is a Lupinus. sent15: something is not a sensuality if it is clitoral. sent16: if the glycol is clitoral then it is a tongue. sent17: that the glycol is not anastomotic is not wrong if the patriot is clitoral. sent18: if the chaser is not a kind of a sensuality then the patriot is a Stheno. sent19: the glycol is a tongue if the chaser is a sensuality. sent20: the chaser does prime hydrogel and is an imbroglio. sent21: if the chaser is not a kind of a sensuality then the patriot is clitoral and it is a Stheno.
void -> assump1: Let's assume that the chaser is not a sensuality.; sent21 & assump1 -> int1: the patriot is both clitoral and a Stheno.; int1 -> int2: the patriot is clitoral.; void -> assump2: Let's assume that the patriot is not clitoral.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chaser is a kind of a sensuality.; int4 & sent19 -> int5: that the glycol does tongue is not false.;
$hypothesis$ = the glycol is not anastomotic if the patriot is non-clitoral. ; $context$ = sent1: the patriot is anastomotic and it is clitoral if the glycol is not a Stheno. sent2: the glycol is not cataphatic. sent3: if the patriot is not clitoral the glycol is anastomotic. sent4: the gametocyte is isothermic and is a zygote. sent5: the chaser is not a kind of a tongue. sent6: the digestive is clitoral. sent7: if the patriot is not a sensuality then the chaser is not a Stheno. sent8: the snowflake is a Stheno. sent9: the personification is not clitoral. sent10: something is anastomotic if it is a kind of a tongue. sent11: the patriot is anastomotic. sent12: if the chaser is not anastomotic the glycol is a sensuality and it is a kind of a tongue. sent13: if the patriot is a Stheno then the fact that it does not tongue is not wrong. sent14: the glycol is a sensuality that is a Lupinus. sent15: something is not a sensuality if it is clitoral. sent16: if the glycol is clitoral then it is a tongue. sent17: that the glycol is not anastomotic is not wrong if the patriot is clitoral. sent18: if the chaser is not a kind of a sensuality then the patriot is a Stheno. sent19: the glycol is a tongue if the chaser is a sensuality. sent20: the chaser does prime hydrogel and is an imbroglio. sent21: if the chaser is not a kind of a sensuality then the patriot is clitoral and it is a Stheno. ; $proof$ = 
void -> assump1: Let's assume that the chaser is not a sensuality.; sent21 & assump1 -> int1: the patriot is both clitoral and a Stheno.; int1 -> int2: the patriot is clitoral.; void -> assump2: Let's assume that the patriot is not clitoral.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chaser is a kind of a sensuality.; int4 & sent19 -> int5: that the glycol does tongue is not false.; __UNKNOWN__