the acinus does not pitch chance-medley.
sent1: the fact that the pediment does not deny acinus and it does not pitch dollarfish hold if the SCSI is a kind of a flatbed. sent2: the acinus is a kind of an opera but it is not a brunet if there is something such that it does not deny lowering. sent3: if the pediment does not deny acinus and does not pitch dollarfish then it does not deny lowering. sent4: something is disloyal if it is an opera. sent5: that the SCSI is a flatbed hold. sent6: something pitches chance-medley if it is disloyal.
sent1 & sent5 -> int1: the pediment does not deny acinus and does not pitch dollarfish.; int1 & sent3 -> int2: the pediment does not deny lowering.; int2 -> int3: something does not deny lowering.; int3 & sent2 -> int4: the acinus is an opera but it is not a kind of a brunet.; int4 -> int5: the acinus is an opera.; sent4 -> int6: if the acinus is an opera then it is not patriotic.; int5 & int6 -> int7: the acinus is disloyal.; sent6 -> int8: the acinus pitches chance-medley if it is disloyal.; int7 & int8 -> hypothesis;
$hypothesis$ = the acinus does not pitch chance-medley. ; $context$ = sent1: the fact that the pediment does not deny acinus and it does not pitch dollarfish hold if the SCSI is a kind of a flatbed. sent2: the acinus is a kind of an opera but it is not a brunet if there is something such that it does not deny lowering. sent3: if the pediment does not deny acinus and does not pitch dollarfish then it does not deny lowering. sent4: something is disloyal if it is an opera. sent5: that the SCSI is a flatbed hold. sent6: something pitches chance-medley if it is disloyal. ; $proof$ = 
sent1 & sent5 -> int1: the pediment does not deny acinus and does not pitch dollarfish.; int1 & sent3 -> int2: the pediment does not deny lowering.; int2 -> int3: something does not deny lowering.; int3 & sent2 -> int4: the acinus is an opera but it is not a kind of a brunet.; int4 -> int5: the acinus is an opera.; sent4 -> int6: if the acinus is an opera then it is not patriotic.; int5 & int6 -> int7: the acinus is disloyal.; sent6 -> int8: the acinus pitches chance-medley if it is disloyal.; int7 & int8 -> hypothesis; __DISPROVED__