the RN does not encircle flamboyant.
sent1: that the RN plugs hold. sent2: something is not narrowing if it is autoplastic. sent3: the shopaholic does not narrow. sent4: the shopaholic is autoplastic and it does plug. sent5: the RN encircles flamboyant but it is not a plugged if it is narrowing. sent6: if the RN is not continual it does not encircle burdock and it is not pyrochemical. sent7: the bloodroot is not pyrochemical if that the RN does not encircle burdock and is not pyrochemical hold. sent8: the RN encircles flamboyant if the shopaholic is operational and it narrows. sent9: the shopaholic does plug. sent10: that the RN does not encircle flamboyant is correct if the azide does not encircle flamboyant and is a plugged. sent11: the fact that the shopaholic is mensural is not incorrect. sent12: the RN does encircle flamboyant if the shopaholic is operational and does not narrow. sent13: if the Tom does not snow Teleprompter or it does not bombard or both the Teleprompter is not autoplastic. sent14: if something is narrowing then it is operational and it is not a plugged. sent15: if that something is not a plugged and/or is not autoplastic does not hold then it encircles flamboyant. sent16: the shopaholic is not a narrowing if that it is autoplastic is not wrong. sent17: that something is not a plugged or not autoplastic or both does not hold if it does not snow Teleprompter. sent18: something does not snow Teleprompter and bombards if the fact that it is not pyrochemical is not incorrect. sent19: the RN is operational if the shopaholic is a narrowing and does not encircle flamboyant. sent20: if something is autoplastic then the fact that it is both operational and not narrowing is not wrong. sent21: the primrose is operational. sent22: the junction is a plugged.
sent20 -> int1: if the shopaholic is autoplastic it is operational and it is not a narrowing.; sent4 -> int2: the shopaholic is not non-autoplastic.; int1 & int2 -> int3: the shopaholic is operational but it is not a kind of a narrowing.; int3 & sent12 -> hypothesis;
the bloodroot does encircle flamboyant.
sent15 -> int4: the bloodroot encircles flamboyant if the fact that it does not plug and/or is not autoplastic is wrong.; sent17 -> int5: if the bloodroot does not snow Teleprompter then the fact that either it is not a plugged or it is not autoplastic or both is wrong.; sent18 -> int6: if the bloodroot is not pyrochemical then it does not snow Teleprompter and it bombards.;
$hypothesis$ = the RN does not encircle flamboyant. ; $context$ = sent1: that the RN plugs hold. sent2: something is not narrowing if it is autoplastic. sent3: the shopaholic does not narrow. sent4: the shopaholic is autoplastic and it does plug. sent5: the RN encircles flamboyant but it is not a plugged if it is narrowing. sent6: if the RN is not continual it does not encircle burdock and it is not pyrochemical. sent7: the bloodroot is not pyrochemical if that the RN does not encircle burdock and is not pyrochemical hold. sent8: the RN encircles flamboyant if the shopaholic is operational and it narrows. sent9: the shopaholic does plug. sent10: that the RN does not encircle flamboyant is correct if the azide does not encircle flamboyant and is a plugged. sent11: the fact that the shopaholic is mensural is not incorrect. sent12: the RN does encircle flamboyant if the shopaholic is operational and does not narrow. sent13: if the Tom does not snow Teleprompter or it does not bombard or both the Teleprompter is not autoplastic. sent14: if something is narrowing then it is operational and it is not a plugged. sent15: if that something is not a plugged and/or is not autoplastic does not hold then it encircles flamboyant. sent16: the shopaholic is not a narrowing if that it is autoplastic is not wrong. sent17: that something is not a plugged or not autoplastic or both does not hold if it does not snow Teleprompter. sent18: something does not snow Teleprompter and bombards if the fact that it is not pyrochemical is not incorrect. sent19: the RN is operational if the shopaholic is a narrowing and does not encircle flamboyant. sent20: if something is autoplastic then the fact that it is both operational and not narrowing is not wrong. sent21: the primrose is operational. sent22: the junction is a plugged. ; $proof$ = 
sent20 -> int1: if the shopaholic is autoplastic it is operational and it is not a narrowing.; sent4 -> int2: the shopaholic is not non-autoplastic.; int1 & int2 -> int3: the shopaholic is operational but it is not a kind of a narrowing.; int3 & sent12 -> hypothesis; __DISPROVED__