the AAS is not a kind of a cheesemonger.
sent1: something is a bluegrass. sent2: if the feed is a faithful the AAS does enjoy Cotinus. sent3: the fact that the stylopodium is a kind of a faithful hold. sent4: something is a cheesemonger if it is lossless. sent5: if the AAS is a vocal then the Sculptor does enjoy Cotinus. sent6: if something is faithful it is a kind of a agama. sent7: the fact that something is a cheesemonger if it enjoys Cotinus hold. sent8: if there is something such that it is lossless and it is a kind of a vocal then the feed is a agama. sent9: the feed is not a vocal and it is not lossless if the cupboard is a kind of a agama. sent10: the feed is a faithful if it is a kind of a agama. sent11: the Sculptor is a vocal. sent12: the Sculptor is both lossless and a vocal.
sent12 -> int1: something is both lossless and not non-vocal.; int1 & sent8 -> int2: the feed is a kind of a agama.; int2 & sent10 -> int3: the feed is not unfaithful.; int3 & sent2 -> int4: the AAS does enjoy Cotinus.; sent7 -> int5: the AAS is a cheesemonger if it enjoys Cotinus.; int4 & int5 -> hypothesis;
the stylopodium is a cheesemonger.
sent4 -> int6: if the stylopodium is lossless then it is a cheesemonger.;
$hypothesis$ = the AAS is not a kind of a cheesemonger. ; $context$ = sent1: something is a bluegrass. sent2: if the feed is a faithful the AAS does enjoy Cotinus. sent3: the fact that the stylopodium is a kind of a faithful hold. sent4: something is a cheesemonger if it is lossless. sent5: if the AAS is a vocal then the Sculptor does enjoy Cotinus. sent6: if something is faithful it is a kind of a agama. sent7: the fact that something is a cheesemonger if it enjoys Cotinus hold. sent8: if there is something such that it is lossless and it is a kind of a vocal then the feed is a agama. sent9: the feed is not a vocal and it is not lossless if the cupboard is a kind of a agama. sent10: the feed is a faithful if it is a kind of a agama. sent11: the Sculptor is a vocal. sent12: the Sculptor is both lossless and a vocal. ; $proof$ = 
sent12 -> int1: something is both lossless and not non-vocal.; int1 & sent8 -> int2: the feed is a kind of a agama.; int2 & sent10 -> int3: the feed is not unfaithful.; int3 & sent2 -> int4: the AAS does enjoy Cotinus.; sent7 -> int5: the AAS is a cheesemonger if it enjoys Cotinus.; int4 & int5 -> hypothesis; __DISPROVED__