the guesser is autotelic.
sent1: if something is not a postdoctoral it is a kind of a cocozelle. sent2: the guesser is autotelic if the fact that the captive is not a chump but it is not non-aft is not right. sent3: if the captive is not aft then the guesser is autotelic. sent4: everything does not prepare dogie. sent5: the dogie is not a postdoctoral if that it is editorial and is a Solomons does not hold. sent6: the fact that something is autotelic and it prepares dogie is correct if it is not a cocozelle. sent7: that the captive does not prepare dogie but it is aft does not hold if it is not autotelic. sent8: if a autotelic thing prepares dogie then that it is a Scincidae does not hold. sent9: everything is not a hairstreak. sent10: something does not prepare dogie if that it does prepare dogie and it is not transdermal is not true. sent11: that something is not a chump but it is aft is not true if it does not prepare dogie. sent12: if something is a cocozelle the fact that it prepares dogie and is not transdermal does not hold. sent13: if something is not aft then that it is a kind of non-autotelic thing that does prepare dogie is not right. sent14: there is nothing that is a kind of editorial thing that is a Solomons.
sent11 -> int1: the fact that the captive is not a kind of a chump but it is aft is wrong if it does not prepare dogie.; sent4 -> int2: the captive does not prepare dogie.; int1 & int2 -> int3: the fact that the captive is not a chump and is not non-aft does not hold.; int3 & sent2 -> hypothesis;
the guesser is not autotelic.
sent10 -> int4: if that the dogie prepares dogie but it is not transdermal is not right it does not prepares dogie.; sent12 -> int5: if the dogie is a cocozelle the fact that it prepares dogie and is not transdermal is not right.; sent1 -> int6: the fact that if the dogie is not a kind of the postdoctoral then the dogie is a cocozelle hold.; sent14 -> int7: the fact that that the dogie is editorial and it is a Solomons is incorrect is not false.; sent5 & int7 -> int8: the dogie is not a kind of a postdoctoral.; int6 & int8 -> int9: the dogie is a cocozelle.; int5 & int9 -> int10: that the dogie does prepare dogie but it is not transdermal does not hold.; int4 & int10 -> int11: the dogie does not prepare dogie.; int11 -> int12: there exists something such that it does not prepare dogie.;
$hypothesis$ = the guesser is autotelic. ; $context$ = sent1: if something is not a postdoctoral it is a kind of a cocozelle. sent2: the guesser is autotelic if the fact that the captive is not a chump but it is not non-aft is not right. sent3: if the captive is not aft then the guesser is autotelic. sent4: everything does not prepare dogie. sent5: the dogie is not a postdoctoral if that it is editorial and is a Solomons does not hold. sent6: the fact that something is autotelic and it prepares dogie is correct if it is not a cocozelle. sent7: that the captive does not prepare dogie but it is aft does not hold if it is not autotelic. sent8: if a autotelic thing prepares dogie then that it is a Scincidae does not hold. sent9: everything is not a hairstreak. sent10: something does not prepare dogie if that it does prepare dogie and it is not transdermal is not true. sent11: that something is not a chump but it is aft is not true if it does not prepare dogie. sent12: if something is a cocozelle the fact that it prepares dogie and is not transdermal does not hold. sent13: if something is not aft then that it is a kind of non-autotelic thing that does prepare dogie is not right. sent14: there is nothing that is a kind of editorial thing that is a Solomons. ; $proof$ = 
sent11 -> int1: the fact that the captive is not a kind of a chump but it is aft is wrong if it does not prepare dogie.; sent4 -> int2: the captive does not prepare dogie.; int1 & int2 -> int3: the fact that the captive is not a chump and is not non-aft does not hold.; int3 & sent2 -> hypothesis; __PROVED__