the tinamou is a brachydactyly.
sent1: the flange is wintry if that the Corchorus is pudendal but it is not a iconoscope is not right. sent2: if the Dorian is not a guesstimate then the cookie is not a guesstimate but it is a Weisshorn. sent3: the cookie is not a guesstimate. sent4: the fact that the tinamou is a brachydactyly is not true if the flange is seminal and it is paternal. sent5: if the fact that the flange is not seminal and it is not paternal does not hold the cookie is seminal. sent6: the fact that something is not seminal and it is not paternal does not hold if it is wintry. sent7: the Dorian is seminal if the fact that the cookie is seminal is true. sent8: the flange is seminal if the cookie is not a guesstimate but it is a Weisshorn. sent9: the flange is paternal. sent10: that the Dorian is a kind of a guesstimate and is not a zero is not true. sent11: the Dorian is not a zero. sent12: if the cookie guesstimates and it is a Weisshorn the flange is seminal. sent13: either something is not a Weisshorn or it is not zero or both if it is seminal. sent14: something that does guesstimate is a brachydactyly. sent15: the cookie does not guesstimate if the Dorian is not a kind of a guesstimate.
void -> assump1: Let's assume that the Dorian is a kind of a guesstimate.; assump1 & sent11 -> int1: the Dorian is both a guesstimate and not zero.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Dorian does not guesstimate.; int3 & sent2 -> int4: the cookie is not a kind of a guesstimate but it is a kind of a Weisshorn.; int4 & sent8 -> int5: the flange is seminal.; int5 & sent9 -> int6: the flange is seminal and it is paternal.; int6 & sent4 -> hypothesis;
the tinamou is a brachydactyly.
sent14 -> int7: if the tinamou is a guesstimate then it is a brachydactyly.; sent13 -> int8: if the Dorian is seminal then it is not a Weisshorn and/or is not a kind of a zero.; sent6 -> int9: that the flange is a kind of non-seminal thing that is not paternal does not hold if the fact that it is wintry is true.;
$hypothesis$ = the tinamou is a brachydactyly. ; $context$ = sent1: the flange is wintry if that the Corchorus is pudendal but it is not a iconoscope is not right. sent2: if the Dorian is not a guesstimate then the cookie is not a guesstimate but it is a Weisshorn. sent3: the cookie is not a guesstimate. sent4: the fact that the tinamou is a brachydactyly is not true if the flange is seminal and it is paternal. sent5: if the fact that the flange is not seminal and it is not paternal does not hold the cookie is seminal. sent6: the fact that something is not seminal and it is not paternal does not hold if it is wintry. sent7: the Dorian is seminal if the fact that the cookie is seminal is true. sent8: the flange is seminal if the cookie is not a guesstimate but it is a Weisshorn. sent9: the flange is paternal. sent10: that the Dorian is a kind of a guesstimate and is not a zero is not true. sent11: the Dorian is not a zero. sent12: if the cookie guesstimates and it is a Weisshorn the flange is seminal. sent13: either something is not a Weisshorn or it is not zero or both if it is seminal. sent14: something that does guesstimate is a brachydactyly. sent15: the cookie does not guesstimate if the Dorian is not a kind of a guesstimate. ; $proof$ = 
void -> assump1: Let's assume that the Dorian is a kind of a guesstimate.; assump1 & sent11 -> int1: the Dorian is both a guesstimate and not zero.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Dorian does not guesstimate.; int3 & sent2 -> int4: the cookie is not a kind of a guesstimate but it is a kind of a Weisshorn.; int4 & sent8 -> int5: the flange is seminal.; int5 & sent9 -> int6: the flange is seminal and it is paternal.; int6 & sent4 -> hypothesis; __DISPROVED__