the nimbus is not a vaccination.
sent1: the scratch is both a abattoir and a Larix. sent2: if something is an oil then it is a vaccination. sent3: something is a kind of a Tangshan and is Jamesian if it is not a kind of a phenol. sent4: if the micropyle is not a flatness then the plumbing is not an oil. sent5: if the scratch does not instrument uncongeniality and does oil then it is not a abattoir. sent6: if the demijohn does not integrate trainer then that it is flatness and it is muscular does not hold. sent7: that something is not a abattoir but a Larix does not hold if it does not cozen. sent8: the micropyle is not a flatness if there is something such that that it is flatness and it is muscular is not true. sent9: that the nimbus does cozen is not wrong if the scratch is a abattoir. sent10: that that the corset is not a cruise and it does not integrate trainer is true is not correct if the terrier is Jamesian. sent11: the demijohn does not integrate trainer if that the corset is not a cruise and it does not integrate trainer does not hold. sent12: if that the nimbus does cozen is correct the fact that it instruments uncongeniality is not false. sent13: if the scratch does cozen and is not a Larix the globe does cozen. sent14: if the lout does not cozen or it instruments uncongeniality or both the scratch does not cozen. sent15: the escapist is a vaccination. sent16: something is an oil if it does instrument uncongeniality. sent17: the terrier is a conservatory but not a phenol. sent18: if the plumbing does not oil the lout does not cozen and/or it instruments uncongeniality.
sent1 -> int1: the scratch is a abattoir.; int1 & sent9 -> int2: the nimbus cozens.; int2 & sent12 -> int3: the nimbus does instrument uncongeniality.; sent16 -> int4: the nimbus is a kind of an oil if it instruments uncongeniality.; int3 & int4 -> int5: the nimbus is an oil.; sent2 -> int6: if the nimbus is an oil then it is a vaccination.; int5 & int6 -> hypothesis;
the globe does cozen.
$hypothesis$ = the nimbus is not a vaccination. ; $context$ = sent1: the scratch is both a abattoir and a Larix. sent2: if something is an oil then it is a vaccination. sent3: something is a kind of a Tangshan and is Jamesian if it is not a kind of a phenol. sent4: if the micropyle is not a flatness then the plumbing is not an oil. sent5: if the scratch does not instrument uncongeniality and does oil then it is not a abattoir. sent6: if the demijohn does not integrate trainer then that it is flatness and it is muscular does not hold. sent7: that something is not a abattoir but a Larix does not hold if it does not cozen. sent8: the micropyle is not a flatness if there is something such that that it is flatness and it is muscular is not true. sent9: that the nimbus does cozen is not wrong if the scratch is a abattoir. sent10: that that the corset is not a cruise and it does not integrate trainer is true is not correct if the terrier is Jamesian. sent11: the demijohn does not integrate trainer if that the corset is not a cruise and it does not integrate trainer does not hold. sent12: if that the nimbus does cozen is correct the fact that it instruments uncongeniality is not false. sent13: if the scratch does cozen and is not a Larix the globe does cozen. sent14: if the lout does not cozen or it instruments uncongeniality or both the scratch does not cozen. sent15: the escapist is a vaccination. sent16: something is an oil if it does instrument uncongeniality. sent17: the terrier is a conservatory but not a phenol. sent18: if the plumbing does not oil the lout does not cozen and/or it instruments uncongeniality. ; $proof$ = 
sent1 -> int1: the scratch is a abattoir.; int1 & sent9 -> int2: the nimbus cozens.; int2 & sent12 -> int3: the nimbus does instrument uncongeniality.; sent16 -> int4: the nimbus is a kind of an oil if it instruments uncongeniality.; int3 & int4 -> int5: the nimbus is an oil.; sent2 -> int6: if the nimbus is an oil then it is a vaccination.; int5 & int6 -> hypothesis; __DISPROVED__