the duplex is a dark.
sent1: the fact that if something is not anapestic it does not govern curium hold. sent2: if the sophisticate is Donnean the papoose is not anapestic. sent3: something is a divorce that does not govern curium if it is not anapestic. sent4: if the papoose is a kind of a divorce but it does not govern curium the duplex is a kind of a dark. sent5: the rubbish is a kind of a February. sent6: the rubbish does not punctuate if it is a February. sent7: the papoose does punctuate. sent8: if something is anaclinal it does not fudge dreamer. sent9: the sophisticate does not punctuate. sent10: the sophisticate is Donnean and/or it is not incomplete if the curium is not incomplete. sent11: if the sophisticate is not incomplete then the papoose is not anapestic. sent12: if the rubbish does not punctuate the curium is not anicteric and it is not incomplete. sent13: if the sophisticate is not Donnean it is a kind of anicteric thing that does not govern curium. sent14: if the sophisticate is a February but it does not govern curium then the papoose is incomplete.
sent6 & sent5 -> int1: that the rubbish does not punctuate is not wrong.; int1 & sent12 -> int2: that the curium is both not anicteric and not incomplete hold.; int2 -> int3: the fact that the curium is not incomplete is correct.; int3 & sent10 -> int4: either the sophisticate is Donnean or it is not incomplete or both.; int4 & sent2 & sent11 -> int5: the papoose is not anapestic.; sent3 -> int6: the papoose is a kind of a divorce but it does not govern curium if it is not anapestic.; int5 & int6 -> int7: the papoose is a divorce and does not govern curium.; int7 & sent4 -> hypothesis;
the sarcodinian does not fudge dreamer if the fact that it is anaclinal hold.
sent8 -> hypothesis;
$hypothesis$ = the duplex is a dark. ; $context$ = sent1: the fact that if something is not anapestic it does not govern curium hold. sent2: if the sophisticate is Donnean the papoose is not anapestic. sent3: something is a divorce that does not govern curium if it is not anapestic. sent4: if the papoose is a kind of a divorce but it does not govern curium the duplex is a kind of a dark. sent5: the rubbish is a kind of a February. sent6: the rubbish does not punctuate if it is a February. sent7: the papoose does punctuate. sent8: if something is anaclinal it does not fudge dreamer. sent9: the sophisticate does not punctuate. sent10: the sophisticate is Donnean and/or it is not incomplete if the curium is not incomplete. sent11: if the sophisticate is not incomplete then the papoose is not anapestic. sent12: if the rubbish does not punctuate the curium is not anicteric and it is not incomplete. sent13: if the sophisticate is not Donnean it is a kind of anicteric thing that does not govern curium. sent14: if the sophisticate is a February but it does not govern curium then the papoose is incomplete. ; $proof$ = 
sent6 & sent5 -> int1: that the rubbish does not punctuate is not wrong.; int1 & sent12 -> int2: that the curium is both not anicteric and not incomplete hold.; int2 -> int3: the fact that the curium is not incomplete is correct.; int3 & sent10 -> int4: either the sophisticate is Donnean or it is not incomplete or both.; int4 & sent2 & sent11 -> int5: the papoose is not anapestic.; sent3 -> int6: the papoose is a kind of a divorce but it does not govern curium if it is not anapestic.; int5 & int6 -> int7: the papoose is a divorce and does not govern curium.; int7 & sent4 -> hypothesis; __PROVED__