the arctic does not heap Psittacidae and is not insoluble.
sent1: if the grounds is a glyburide the sideroblast is non-English and is not obstetric. sent2: there exists nothing that does not heap Psittacidae and is statesmanlike. sent3: if the sideroblast does not heap Psittacidae then the arctic does not heap Psittacidae and is not insoluble. sent4: if the grounds is not statesmanlike then the fact that the squeezer is not statesmanlike and perambulates is wrong. sent5: if something is a kind of a glyburide that heaps Psittacidae the fact that the grounds is not statesmanlike hold. sent6: there is something such that it heaps Petroselinum. sent7: that the squeezer is insoluble hold. sent8: if something is a English then the fact that it is a glyburide is true. sent9: if there exists something such that it is insoluble the arctic is not statesmanlike. sent10: if the fact that the blender is not unstatesmanlike and/or it does criticize Seton does not hold then the squeezer is not unstatesmanlike. sent11: the arctic is not insoluble. sent12: if there is something such that it does heap Petroselinum that the blender is statesmanlike and/or it criticizes Seton does not hold. sent13: the sideroblast is a kind of a English and it is obstetric.
sent13 -> int1: the sideroblast is a kind of a English.; sent8 -> int2: the sideroblast is a kind of a glyburide if it is a kind of a English.; int1 & int2 -> int3: the sideroblast is a kind of a glyburide.; void -> assump1: Let's assume that the sideroblast heaps Psittacidae.; int3 & assump1 -> int4: the sideroblast is a glyburide and it heaps Psittacidae.; int4 -> int5: there exists something such that it is a glyburide that heaps Psittacidae.; int5 & sent5 -> int6: the grounds is not statesmanlike.; int6 & sent4 -> int7: that the fact that the squeezer is not statesmanlike but it does perambulate is wrong is true.; sent6 & sent12 -> int8: that the blender either is statesmanlike or criticizes Seton or both does not hold.; sent10 & int8 -> int9: the squeezer is not statesmanlike.;
the fact that the blender does not perambulate hold.
sent2 -> int10: the fact that the fact that the squeezer does not heap Psittacidae but it is statesmanlike is not false is not true.; int10 -> int11: there exists something such that that it does not heap Psittacidae and it is statesmanlike is not true.;
$hypothesis$ = the arctic does not heap Psittacidae and is not insoluble. ; $context$ = sent1: if the grounds is a glyburide the sideroblast is non-English and is not obstetric. sent2: there exists nothing that does not heap Psittacidae and is statesmanlike. sent3: if the sideroblast does not heap Psittacidae then the arctic does not heap Psittacidae and is not insoluble. sent4: if the grounds is not statesmanlike then the fact that the squeezer is not statesmanlike and perambulates is wrong. sent5: if something is a kind of a glyburide that heaps Psittacidae the fact that the grounds is not statesmanlike hold. sent6: there is something such that it heaps Petroselinum. sent7: that the squeezer is insoluble hold. sent8: if something is a English then the fact that it is a glyburide is true. sent9: if there exists something such that it is insoluble the arctic is not statesmanlike. sent10: if the fact that the blender is not unstatesmanlike and/or it does criticize Seton does not hold then the squeezer is not unstatesmanlike. sent11: the arctic is not insoluble. sent12: if there is something such that it does heap Petroselinum that the blender is statesmanlike and/or it criticizes Seton does not hold. sent13: the sideroblast is a kind of a English and it is obstetric. ; $proof$ = 
sent13 -> int1: the sideroblast is a kind of a English.; sent8 -> int2: the sideroblast is a kind of a glyburide if it is a kind of a English.; int1 & int2 -> int3: the sideroblast is a kind of a glyburide.; void -> assump1: Let's assume that the sideroblast heaps Psittacidae.; int3 & assump1 -> int4: the sideroblast is a glyburide and it heaps Psittacidae.; int4 -> int5: there exists something such that it is a glyburide that heaps Psittacidae.; int5 & sent5 -> int6: the grounds is not statesmanlike.; int6 & sent4 -> int7: that the fact that the squeezer is not statesmanlike but it does perambulate is wrong is true.; sent6 & sent12 -> int8: that the blender either is statesmanlike or criticizes Seton or both does not hold.; sent10 & int8 -> int9: the squeezer is not statesmanlike.; __UNKNOWN__