the train does not blend.
sent1: that the flask does date blocked is correct. sent2: the train is a kind of a ogive or it is a Thuringia or both. sent3: that the lumper does not utter dotterel is right if something that does not date desertion is not a columned. sent4: the flask is a Thuringia and it does date train. sent5: there is something such that it is a blended. sent6: there exists something such that the fact that it is not a saxophonist and/or it does not unveil slumber is false. sent7: The blocked does not date ATM. sent8: the ATM is not anaesthetic. sent9: that the flask does not glower is not wrong if the ATM is not a Ukrainian and it does not date blocked. sent10: the fact that the ATM is not a Ukrainian is not wrong if something that is a perniciousness blends. sent11: the sonograph is not a Ukrainian if there is something such that the fact that it does date blocked and it does glower is incorrect. sent12: the microtubule is not a columned. sent13: the flask does not date blocked if something is not an induction and does not glower. sent14: if the train is not a kind of a blended and it does not glower then the flask is not a Thuringia. sent15: there is nothing such that either it is not a kind of an induction or it is not elementary or both. sent16: the flask does glower. sent17: the myoglobin is not a kind of a Thuringia. sent18: if the ATM is not anaesthetic then the fact that it does date blocked and it glowers is wrong. sent19: the train is not a Thuringia. sent20: if something is not a kind of a blended then it does unveil sidesaddle and it is an interstate. sent21: if there exists something such that that it either is not a saxophonist or does not unveil slumber or both is false then the microtubule does not date desertion. sent22: something is a kind of a perniciousness. sent23: if something either is a kind of a ogive or is not a Thuringia or both then it is a kind of a perniciousness. sent24: if something does not utter dotterel it is elementary and is anaesthetic. sent25: something that is non-Ukrainian thing that is not a perniciousness is not a blended.
sent23 -> int1: if the train is a ogive and/or it is not a Thuringia then it is a perniciousness.; sent19 -> int2: the train is a ogive and/or it is not a Thuringia.; int1 & int2 -> int3: the fact that the train is a kind of a perniciousness is not incorrect.; void -> assump1: Let's assume that the fact that the train is a blended hold.; int3 & assump1 -> int4: the train is a perniciousness and is a blended.; int4 -> int5: there is something such that it is a kind of a perniciousness and it blends.; int5 & sent10 -> int6: the ATM is non-Ukrainian.;
the sonograph does unveil sidesaddle and is an interstate.
sent20 -> int7: the sonograph unveils sidesaddle and it is an interstate if it is not a blended.; sent25 -> int8: the sonograph does not blend if it is not Ukrainian and is not a perniciousness.; sent18 & sent8 -> int9: that the ATM does date blocked and it glowers is not right.; int9 -> int10: there is something such that that it dates blocked and it glowers is not true.; int10 & sent11 -> int11: the sonograph is not Ukrainian.; sent15 -> int12: that the flask either is not a kind of an induction or is not elementary or both is incorrect.; int12 -> int13: there exists something such that that that it is not an induction and/or it is not elementary is right is not true.;
$hypothesis$ = the train does not blend. ; $context$ = sent1: that the flask does date blocked is correct. sent2: the train is a kind of a ogive or it is a Thuringia or both. sent3: that the lumper does not utter dotterel is right if something that does not date desertion is not a columned. sent4: the flask is a Thuringia and it does date train. sent5: there is something such that it is a blended. sent6: there exists something such that the fact that it is not a saxophonist and/or it does not unveil slumber is false. sent7: The blocked does not date ATM. sent8: the ATM is not anaesthetic. sent9: that the flask does not glower is not wrong if the ATM is not a Ukrainian and it does not date blocked. sent10: the fact that the ATM is not a Ukrainian is not wrong if something that is a perniciousness blends. sent11: the sonograph is not a Ukrainian if there is something such that the fact that it does date blocked and it does glower is incorrect. sent12: the microtubule is not a columned. sent13: the flask does not date blocked if something is not an induction and does not glower. sent14: if the train is not a kind of a blended and it does not glower then the flask is not a Thuringia. sent15: there is nothing such that either it is not a kind of an induction or it is not elementary or both. sent16: the flask does glower. sent17: the myoglobin is not a kind of a Thuringia. sent18: if the ATM is not anaesthetic then the fact that it does date blocked and it glowers is wrong. sent19: the train is not a Thuringia. sent20: if something is not a kind of a blended then it does unveil sidesaddle and it is an interstate. sent21: if there exists something such that that it either is not a saxophonist or does not unveil slumber or both is false then the microtubule does not date desertion. sent22: something is a kind of a perniciousness. sent23: if something either is a kind of a ogive or is not a Thuringia or both then it is a kind of a perniciousness. sent24: if something does not utter dotterel it is elementary and is anaesthetic. sent25: something that is non-Ukrainian thing that is not a perniciousness is not a blended. ; $proof$ = 
sent23 -> int1: if the train is a ogive and/or it is not a Thuringia then it is a perniciousness.; sent19 -> int2: the train is a ogive and/or it is not a Thuringia.; int1 & int2 -> int3: the fact that the train is a kind of a perniciousness is not incorrect.; void -> assump1: Let's assume that the fact that the train is a blended hold.; int3 & assump1 -> int4: the train is a perniciousness and is a blended.; int4 -> int5: there is something such that it is a kind of a perniciousness and it blends.; int5 & sent10 -> int6: the ATM is non-Ukrainian.; __UNKNOWN__