the highway is pediatric.
sent1: if something is not a Pomacentrus then that it does object Mitra and it does outgeneral Marxist is not correct. sent2: the chalk is a pussycat. sent3: the fact that the innocent is a kind of a visit and it is pediatric is not correct. sent4: that something is not a nortriptyline and not sadomasochistic is not correct if it is subarctic. sent5: if there is something such that it does not object Mitra then the highway is pediatric. sent6: there exists something such that the fact that it does object Mitra and is a nortriptyline is not true. sent7: that the innocent is a pussycat but it does not visit does not hold if it is not a nortriptyline. sent8: the Marxist is subarctic if it is decisive. sent9: if the fact that something is not a nortriptyline and it is not sadomasochistic is not correct it objects Mitra. sent10: the highway objects Mitra. sent11: the highway is pediatric if there is something such that the fact that it does object Mitra and it outgenerals Marxist is not correct. sent12: the Marxist is unready. sent13: if that the highway is not subarctic and it is not decisive is not right then it is subarctic. sent14: there exists something such that that it is a nortriptyline and a pussycat is not right. sent15: the chalk does not object Mitra if the innocent is not a kind of a nortriptyline and is not sadomasochistic. sent16: the innocent is a pussycat. sent17: that the innocent is not a nortriptyline hold. sent18: if the chalk is a Pomacentrus the innocent is a kind of a pussycat that is not a visit. sent19: if something does not object Mitra then it outgenerals Marxist and it is a kind of a Pomacentrus. sent20: something is not pediatric if the fact that it is not a kind of a Pomacentrus or it does outgeneral Marxist or both does not hold. sent21: if something is unready then it is decisive.
void -> assump1: Let's assume that the chalk is a Pomacentrus.; sent18 & assump1 -> int1: the innocent is a pussycat that is not a visit.; sent7 & sent17 -> int2: the fact that the innocent is a pussycat and not a visit is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chalk is not a Pomacentrus.; sent1 -> int5: that the chalk objects Mitra and does outgeneral Marxist does not hold if it is not a kind of a Pomacentrus.; int4 & int5 -> int6: that the chalk does object Mitra and does outgeneral Marxist does not hold.; int6 -> int7: there is something such that that it objects Mitra and it outgenerals Marxist does not hold.; int7 & sent11 -> hypothesis;
the highway is not pediatric.
sent19 -> int8: the chalk does outgeneral Marxist and is a kind of a Pomacentrus if it does not object Mitra.; sent21 -> int9: the fact that the Marxist is decisive hold if it is unready.; int9 & sent12 -> int10: the Marxist is decisive.; sent8 & int10 -> int11: the Marxist is subarctic.; int11 -> int12: there is something such that it is subarctic.;
$hypothesis$ = the highway is pediatric. ; $context$ = sent1: if something is not a Pomacentrus then that it does object Mitra and it does outgeneral Marxist is not correct. sent2: the chalk is a pussycat. sent3: the fact that the innocent is a kind of a visit and it is pediatric is not correct. sent4: that something is not a nortriptyline and not sadomasochistic is not correct if it is subarctic. sent5: if there is something such that it does not object Mitra then the highway is pediatric. sent6: there exists something such that the fact that it does object Mitra and is a nortriptyline is not true. sent7: that the innocent is a pussycat but it does not visit does not hold if it is not a nortriptyline. sent8: the Marxist is subarctic if it is decisive. sent9: if the fact that something is not a nortriptyline and it is not sadomasochistic is not correct it objects Mitra. sent10: the highway objects Mitra. sent11: the highway is pediatric if there is something such that the fact that it does object Mitra and it outgenerals Marxist is not correct. sent12: the Marxist is unready. sent13: if that the highway is not subarctic and it is not decisive is not right then it is subarctic. sent14: there exists something such that that it is a nortriptyline and a pussycat is not right. sent15: the chalk does not object Mitra if the innocent is not a kind of a nortriptyline and is not sadomasochistic. sent16: the innocent is a pussycat. sent17: that the innocent is not a nortriptyline hold. sent18: if the chalk is a Pomacentrus the innocent is a kind of a pussycat that is not a visit. sent19: if something does not object Mitra then it outgenerals Marxist and it is a kind of a Pomacentrus. sent20: something is not pediatric if the fact that it is not a kind of a Pomacentrus or it does outgeneral Marxist or both does not hold. sent21: if something is unready then it is decisive. ; $proof$ = 
void -> assump1: Let's assume that the chalk is a Pomacentrus.; sent18 & assump1 -> int1: the innocent is a pussycat that is not a visit.; sent7 & sent17 -> int2: the fact that the innocent is a pussycat and not a visit is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chalk is not a Pomacentrus.; sent1 -> int5: that the chalk objects Mitra and does outgeneral Marxist does not hold if it is not a kind of a Pomacentrus.; int4 & int5 -> int6: that the chalk does object Mitra and does outgeneral Marxist does not hold.; int6 -> int7: there is something such that that it objects Mitra and it outgenerals Marxist does not hold.; int7 & sent11 -> hypothesis; __PROVED__