if that the argemone is attritional but it is not endodontics is false it is not attritional.
sent1: if something does not approach suppressor then it is not a caracolito. sent2: the argemone is not endodontics if the refection is both convex and a trading. sent3: if something prices it trades. sent4: the dubbing is sensorineural. sent5: if the consul is not sensorineural and it does not approach refection then the refection is convex. sent6: if something is not a bail it is not homozygous. sent7: the consul is not sensorineural. sent8: the argemone is not attritional if it is attritional and it is not endodontics. sent9: that the argemone approaches refection hold. sent10: that the refection is a HDTV hold. sent11: the consul is not sensorineural if the fact that it does not fume hold. sent12: the consul is not attritional and is not sensorineural. sent13: if the Declomycin is a trading the refection is a trading. sent14: something is not sensorineural if it does not fume. sent15: the Declomycin does price. sent16: the fact that the refection is endodontics is true. sent17: the refection is not sensorineural. sent18: the argemone is sensorineural. sent19: the argemone is not attritional if the fact that it is attritional and endodontics is incorrect. sent20: something is not sensorineural and it does not approach refection if it does not fume. sent21: the merchant is endodontics. sent22: the Declomycin does not approach refection.
sent20 -> int1: if the consul does not fume then it is not sensorineural and it does not approach refection.; sent3 -> int2: the Declomycin does trade if it is a pricing.; int2 & sent15 -> int3: the Declomycin is a trading.; sent13 & int3 -> int4: the refection is a trading.; void -> assump2: Let's assume that the argemone is attritional.;
$hypothesis$ = if that the argemone is attritional but it is not endodontics is false it is not attritional. ; $context$ = sent1: if something does not approach suppressor then it is not a caracolito. sent2: the argemone is not endodontics if the refection is both convex and a trading. sent3: if something prices it trades. sent4: the dubbing is sensorineural. sent5: if the consul is not sensorineural and it does not approach refection then the refection is convex. sent6: if something is not a bail it is not homozygous. sent7: the consul is not sensorineural. sent8: the argemone is not attritional if it is attritional and it is not endodontics. sent9: that the argemone approaches refection hold. sent10: that the refection is a HDTV hold. sent11: the consul is not sensorineural if the fact that it does not fume hold. sent12: the consul is not attritional and is not sensorineural. sent13: if the Declomycin is a trading the refection is a trading. sent14: something is not sensorineural if it does not fume. sent15: the Declomycin does price. sent16: the fact that the refection is endodontics is true. sent17: the refection is not sensorineural. sent18: the argemone is sensorineural. sent19: the argemone is not attritional if the fact that it is attritional and endodontics is incorrect. sent20: something is not sensorineural and it does not approach refection if it does not fume. sent21: the merchant is endodontics. sent22: the Declomycin does not approach refection. ; $proof$ = 
sent20 -> int1: if the consul does not fume then it is not sensorineural and it does not approach refection.; sent3 -> int2: the Declomycin does trade if it is a pricing.; int2 & sent15 -> int3: the Declomycin is a trading.; sent13 & int3 -> int4: the refection is a trading.; void -> assump2: Let's assume that the argemone is attritional.; __UNKNOWN__