the bast is an ethnology that does subdivide cowled.
sent1: if the sundae is not a kind of a tape then it is a Pteropus. sent2: the bast does subdivide cowled. sent3: if something does interpret telegrapher then it is logistic. sent4: if something does not fool that it is an ethnology and does subdivide cowled is not correct. sent5: the sundae interprets telegrapher or it is a drudge or both. sent6: the parlor is both not a birthrate and a prostate if the sundae does not fool. sent7: a fooling that is logistic is not a tape. sent8: the sundae is not a LTTE. sent9: if the sundae is a drudge then it is logistic. sent10: The cowled does subdivide bast. sent11: the bast is not a Pteropus and it does not tape if it is a LTTE. sent12: the fact that the sundae does not subdivide cowled and is logistic does not hold. sent13: that the parlor is both not a birthrate and a prostate is wrong.
void -> assump1: Let's assume that the sundae is not a kind of a fooling.; sent6 & assump1 -> int1: the parlor is both not a birthrate and a prostate.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sundae is a kind of a fooling.; sent3 -> int4: if the sundae interprets telegrapher it is logistic.; sent5 & int4 & sent9 -> int5: the sundae is logistic.; int3 & int5 -> int6: the sundae is a fooling and it is logistic.; sent7 -> int7: if the sundae is a kind of a fooling and it is logistic then it is not a tape.; int6 & int7 -> int8: the sundae is not a tape.; int8 & sent1 -> int9: the sundae is a Pteropus.; int9 & sent8 -> int10: the sundae is a Pteropus and not a LTTE.;
that the bast is an ethnology and does subdivide cowled is false.
sent4 -> int11: if that the bast is not a kind of a fooling hold that it is an ethnology and does subdivide cowled is false.;
$hypothesis$ = the bast is an ethnology that does subdivide cowled. ; $context$ = sent1: if the sundae is not a kind of a tape then it is a Pteropus. sent2: the bast does subdivide cowled. sent3: if something does interpret telegrapher then it is logistic. sent4: if something does not fool that it is an ethnology and does subdivide cowled is not correct. sent5: the sundae interprets telegrapher or it is a drudge or both. sent6: the parlor is both not a birthrate and a prostate if the sundae does not fool. sent7: a fooling that is logistic is not a tape. sent8: the sundae is not a LTTE. sent9: if the sundae is a drudge then it is logistic. sent10: The cowled does subdivide bast. sent11: the bast is not a Pteropus and it does not tape if it is a LTTE. sent12: the fact that the sundae does not subdivide cowled and is logistic does not hold. sent13: that the parlor is both not a birthrate and a prostate is wrong. ; $proof$ = 
void -> assump1: Let's assume that the sundae is not a kind of a fooling.; sent6 & assump1 -> int1: the parlor is both not a birthrate and a prostate.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the sundae is a kind of a fooling.; sent3 -> int4: if the sundae interprets telegrapher it is logistic.; sent5 & int4 & sent9 -> int5: the sundae is logistic.; int3 & int5 -> int6: the sundae is a fooling and it is logistic.; sent7 -> int7: if the sundae is a kind of a fooling and it is logistic then it is not a tape.; int6 & int7 -> int8: the sundae is not a tape.; int8 & sent1 -> int9: the sundae is a Pteropus.; int9 & sent8 -> int10: the sundae is a Pteropus and not a LTTE.; __UNKNOWN__