the fug is a kind of a deductible.
sent1: if the Calliope is not a smother then it is not non-chyliferous and it does not ensconce Calliope. sent2: the Calliope is not a smother if that the mascara reclines town and smother hold. sent3: something does not ensconce Calliope if it is a shame. sent4: that the champagne is a kind of a Rappahannock hold. sent5: if the Calliope does shame and it is a Colombian then that the champagne does not shame is not wrong. sent6: if the champagne is a kind of a Colombian the fug is deductible. sent7: the Calliope is a shame and is a Colombian if it does not ensconce Calliope. sent8: something that is not a shame is chyliferous a Rappahannock. sent9: something is chyliferous and is a kind of a Colombian if it does not ensconce Calliope. sent10: if that something is both deductible and not a Rappahannock is incorrect it is not a kind of a deductible. sent11: the champagne is a Rappahannock and it does shame. sent12: if something does not ensconce Calliope it is chyliferous.
sent11 -> int1: the champagne shames.; sent3 -> int2: the champagne does not ensconce Calliope if it does shame.; int1 & int2 -> int3: the champagne does not ensconce Calliope.; sent9 -> int4: the champagne is chyliferous and is a kind of a Colombian if it does not ensconce Calliope.; int3 & int4 -> int5: the champagne is chyliferous thing that is a Colombian.; int5 -> int6: the champagne is a Colombian.; int6 & sent6 -> hypothesis;
the fug is not a deductible.
sent10 -> int7: the fug is not a kind of a deductible if the fact that it is a kind of a deductible that is not a Rappahannock is false.;
$hypothesis$ = the fug is a kind of a deductible. ; $context$ = sent1: if the Calliope is not a smother then it is not non-chyliferous and it does not ensconce Calliope. sent2: the Calliope is not a smother if that the mascara reclines town and smother hold. sent3: something does not ensconce Calliope if it is a shame. sent4: that the champagne is a kind of a Rappahannock hold. sent5: if the Calliope does shame and it is a Colombian then that the champagne does not shame is not wrong. sent6: if the champagne is a kind of a Colombian the fug is deductible. sent7: the Calliope is a shame and is a Colombian if it does not ensconce Calliope. sent8: something that is not a shame is chyliferous a Rappahannock. sent9: something is chyliferous and is a kind of a Colombian if it does not ensconce Calliope. sent10: if that something is both deductible and not a Rappahannock is incorrect it is not a kind of a deductible. sent11: the champagne is a Rappahannock and it does shame. sent12: if something does not ensconce Calliope it is chyliferous. ; $proof$ = 
sent11 -> int1: the champagne shames.; sent3 -> int2: the champagne does not ensconce Calliope if it does shame.; int1 & int2 -> int3: the champagne does not ensconce Calliope.; sent9 -> int4: the champagne is chyliferous and is a kind of a Colombian if it does not ensconce Calliope.; int3 & int4 -> int5: the champagne is chyliferous thing that is a Colombian.; int5 -> int6: the champagne is a Colombian.; int6 & sent6 -> hypothesis; __PROVED__