the applique is a kind of a sire.
sent1: if an offensive thing is not a thoracotomy then it does not cover tetrahydrocannabinol. sent2: the g is offensive thing that is not a thoracotomy if the fact that the disco is diatonic is not wrong. sent3: the applique is a sire if it is not sociolinguistics. sent4: if the g does not cover tetrahydrocannabinol the fact that the applique is sociolinguistics and does not cover tetrahydrocannabinol is not correct. sent5: if that something is a kind of sociolinguistics thing that does not cover tetrahydrocannabinol is wrong then the fact that it is a kind of a sire hold. sent6: if the epidiascope does caucus ulster the disco does not numb and is non-diatonic. sent7: the disco is diatonic.
sent1 -> int1: the g does not cover tetrahydrocannabinol if it is both offensive and not a thoracotomy.; sent2 & sent7 -> int2: the g is offensive but it is not a thoracotomy.; int1 & int2 -> int3: the g does not cover tetrahydrocannabinol.; int3 & sent4 -> int4: the fact that the applique is a kind of sociolinguistics thing that does not cover tetrahydrocannabinol is wrong.; sent5 -> int5: the applique is a sire if the fact that it is sociolinguistics and it does not cover tetrahydrocannabinol is not right.; int4 & int5 -> hypothesis;
the applique is not a sire.
$hypothesis$ = the applique is a kind of a sire. ; $context$ = sent1: if an offensive thing is not a thoracotomy then it does not cover tetrahydrocannabinol. sent2: the g is offensive thing that is not a thoracotomy if the fact that the disco is diatonic is not wrong. sent3: the applique is a sire if it is not sociolinguistics. sent4: if the g does not cover tetrahydrocannabinol the fact that the applique is sociolinguistics and does not cover tetrahydrocannabinol is not correct. sent5: if that something is a kind of sociolinguistics thing that does not cover tetrahydrocannabinol is wrong then the fact that it is a kind of a sire hold. sent6: if the epidiascope does caucus ulster the disco does not numb and is non-diatonic. sent7: the disco is diatonic. ; $proof$ = 
sent1 -> int1: the g does not cover tetrahydrocannabinol if it is both offensive and not a thoracotomy.; sent2 & sent7 -> int2: the g is offensive but it is not a thoracotomy.; int1 & int2 -> int3: the g does not cover tetrahydrocannabinol.; int3 & sent4 -> int4: the fact that the applique is a kind of sociolinguistics thing that does not cover tetrahydrocannabinol is wrong.; sent5 -> int5: the applique is a sire if the fact that it is sociolinguistics and it does not cover tetrahydrocannabinol is not right.; int4 & int5 -> hypothesis; __PROVED__