the copolymer does replicate sequoia.
sent1: something that is not a kingbolt does not replicate affusion or does not replicate blacklist or both. sent2: if the bitter does not replicate blacklist the begum is a kind of a rung. sent3: the begum rings if the bitter does not replicate affusion. sent4: something is a hysteroscopy if it does ring. sent5: something does squire synagogue if it is a D-day. sent6: if the resinoid is a kind of non-cenobitic thing that is budgetary the bitter is not a kingbolt. sent7: the copolymer is a Yucatan or does not metabolize monopolization or both if the begum is a kind of a hysteroscopy. sent8: if either something is a kind of a Yucatan or it does not metabolize monopolization or both it does not replicate sequoia. sent9: the resinoid is not cenobitic but budgetary.
sent6 & sent9 -> int1: the bitter is not a kind of a kingbolt.; sent1 -> int2: the bitter does not replicate affusion and/or does not replicate blacklist if that it is a kingbolt is wrong.; int1 & int2 -> int3: the bitter does not replicate affusion or it does not replicate blacklist or both.; int3 & sent3 & sent2 -> int4: the begum is a rung.; sent4 -> int5: the begum is a kind of a hysteroscopy if it is a rung.; int4 & int5 -> int6: the begum is a hysteroscopy.; int6 & sent7 -> int7: the copolymer is a kind of a Yucatan or it does not metabolize monopolization or both.; sent8 -> int8: if the copolymer is a Yucatan or does not metabolize monopolization or both then it does not replicate sequoia.; int7 & int8 -> hypothesis;
if the copolymer is a D-day then it does squire synagogue.
sent5 -> hypothesis;
$hypothesis$ = the copolymer does replicate sequoia. ; $context$ = sent1: something that is not a kingbolt does not replicate affusion or does not replicate blacklist or both. sent2: if the bitter does not replicate blacklist the begum is a kind of a rung. sent3: the begum rings if the bitter does not replicate affusion. sent4: something is a hysteroscopy if it does ring. sent5: something does squire synagogue if it is a D-day. sent6: if the resinoid is a kind of non-cenobitic thing that is budgetary the bitter is not a kingbolt. sent7: the copolymer is a Yucatan or does not metabolize monopolization or both if the begum is a kind of a hysteroscopy. sent8: if either something is a kind of a Yucatan or it does not metabolize monopolization or both it does not replicate sequoia. sent9: the resinoid is not cenobitic but budgetary. ; $proof$ = 
sent6 & sent9 -> int1: the bitter is not a kind of a kingbolt.; sent1 -> int2: the bitter does not replicate affusion and/or does not replicate blacklist if that it is a kingbolt is wrong.; int1 & int2 -> int3: the bitter does not replicate affusion or it does not replicate blacklist or both.; int3 & sent3 & sent2 -> int4: the begum is a rung.; sent4 -> int5: the begum is a kind of a hysteroscopy if it is a rung.; int4 & int5 -> int6: the begum is a hysteroscopy.; int6 & sent7 -> int7: the copolymer is a kind of a Yucatan or it does not metabolize monopolization or both.; sent8 -> int8: if the copolymer is a Yucatan or does not metabolize monopolization or both then it does not replicate sequoia.; int7 & int8 -> hypothesis; __DISPROVED__