that the chandlery does concern artilleryman but it is non-transuranic does not hold.
sent1: if something is not dot-com and it is not neurogenic then it does reopen biquadrate. sent2: the artilleryman is a rockslide. sent3: if that the expression does reopen biquadrate is true the fluoxetine reopens scenery. sent4: the fluoxetine does not reopen scenery. sent5: The scenery does not reopen fluoxetine. sent6: the chandlery is not transuranic. sent7: something is a chimera but it is not unidentifiable if that it does not reopen scenery is correct. sent8: the fluoxetine does not reopen biquadrate and it does not concern artilleryman if the chandlery is transuranic. sent9: if there exists something such that that it is not a kind of a dot-com and it is not neurogenic is not correct the chandlery concerns artilleryman. sent10: the fact that the nosh is not a foundry but a dietary is not right. sent11: there is something such that the fact that it is a dot-com but not neurogenic is not right. sent12: the artilleryman is a foundry if that the nosh is not a foundry but dietary is not correct. sent13: if something is myopathic then it is transuranic.
sent1 -> int1: the expression reopens biquadrate if it is both not a dot-com and not neurogenic.; void -> assump1: Let's assume that the expression is non-dot-com thing that is not neurogenic.; int1 & assump1 -> int2: the expression does reopen biquadrate.; int2 & sent3 -> int3: the fluoxetine reopens scenery.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the expression is a kind of non-dot-com thing that is not neurogenic is not correct.; int5 -> int6: there is something such that that it is not a kind of a dot-com and is not neurogenic is not correct.; int6 & sent9 -> int7: the chandlery does concern artilleryman.; int7 & sent6 -> hypothesis;
the spectrogram is a chimera and is not unidentifiable.
sent7 -> int8: if the spectrogram does not reopen scenery then it is a chimera and it is not unidentifiable.; sent13 -> int9: if the chandlery is not non-myopathic the fact that it is transuranic is true.; sent12 & sent10 -> int10: the artilleryman is a foundry.; int10 & sent2 -> int11: the artilleryman is both a foundry and a rockslide.; int11 -> int12: that something is a foundry and a rockslide hold.;
$hypothesis$ = that the chandlery does concern artilleryman but it is non-transuranic does not hold. ; $context$ = sent1: if something is not dot-com and it is not neurogenic then it does reopen biquadrate. sent2: the artilleryman is a rockslide. sent3: if that the expression does reopen biquadrate is true the fluoxetine reopens scenery. sent4: the fluoxetine does not reopen scenery. sent5: The scenery does not reopen fluoxetine. sent6: the chandlery is not transuranic. sent7: something is a chimera but it is not unidentifiable if that it does not reopen scenery is correct. sent8: the fluoxetine does not reopen biquadrate and it does not concern artilleryman if the chandlery is transuranic. sent9: if there exists something such that that it is not a kind of a dot-com and it is not neurogenic is not correct the chandlery concerns artilleryman. sent10: the fact that the nosh is not a foundry but a dietary is not right. sent11: there is something such that the fact that it is a dot-com but not neurogenic is not right. sent12: the artilleryman is a foundry if that the nosh is not a foundry but dietary is not correct. sent13: if something is myopathic then it is transuranic. ; $proof$ = 
sent1 -> int1: the expression reopens biquadrate if it is both not a dot-com and not neurogenic.; void -> assump1: Let's assume that the expression is non-dot-com thing that is not neurogenic.; int1 & assump1 -> int2: the expression does reopen biquadrate.; int2 & sent3 -> int3: the fluoxetine reopens scenery.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the expression is a kind of non-dot-com thing that is not neurogenic is not correct.; int5 -> int6: there is something such that that it is not a kind of a dot-com and is not neurogenic is not correct.; int6 & sent9 -> int7: the chandlery does concern artilleryman.; int7 & sent6 -> hypothesis; __DISPROVED__