the fact that the Carver hatches HRT and is attributable does not hold.
sent1: the skidpan does not erupt if the archdeacon erupt but it is not a firework. sent2: the Carver is epicarpal. sent3: the archdeacon is a snot if it is a meter. sent4: that the Carver is not manorial is true. sent5: the chondrite is a kind of a coupling. sent6: something is not a firework if it is a snot that is not a meter. sent7: the Carver is epicarpal and hatches HRT. sent8: the regurgitation does hatch HRT. sent9: something is a snot and does not meter if it is a coupling. sent10: if something is not a kind of a firework it is apsidal and manorial. sent11: the wax-chandler does hatch Gettysburg and it is a coinsurance. sent12: the Carver is attributable if it is not manorial. sent13: something that is a snot erupts and is not a kind of a firework. sent14: something is epicarpal and it is manorial if it does not erupt. sent15: if there is something such that it is not attributable and/or does not erupt the chondrite is not attributable. sent16: something is epicarpal and does hatch HRT if it is unattributable. sent17: the Carver is a keteleeria that is a carinate. sent18: that something does hatch HRT and is attributable does not hold if it is not epicarpal.
sent7 -> int1: the Carver does hatch HRT.; sent12 & sent4 -> int2: the Carver is attributable.; int1 & int2 -> hypothesis;
the chondrite is apsidal and is epicarpal.
sent10 -> int3: the chondrite is both apsidal and manorial if it is not a kind of a firework.; sent6 -> int4: the fact that the chondrite is not a firework is not wrong if it is a snot and it is not a meter.; sent9 -> int5: if the chondrite couples the fact that it is a snot and it is not a meter hold.; int5 & sent5 -> int6: the chondrite is a snot but it does not meter.; int4 & int6 -> int7: the chondrite is not a kind of a firework.; int3 & int7 -> int8: the chondrite is not non-apsidal but manorial.; int8 -> int9: the chondrite is apsidal.; sent16 -> int10: if the chondrite is not attributable then it is epicarpal and hatches HRT.;
$hypothesis$ = the fact that the Carver hatches HRT and is attributable does not hold. ; $context$ = sent1: the skidpan does not erupt if the archdeacon erupt but it is not a firework. sent2: the Carver is epicarpal. sent3: the archdeacon is a snot if it is a meter. sent4: that the Carver is not manorial is true. sent5: the chondrite is a kind of a coupling. sent6: something is not a firework if it is a snot that is not a meter. sent7: the Carver is epicarpal and hatches HRT. sent8: the regurgitation does hatch HRT. sent9: something is a snot and does not meter if it is a coupling. sent10: if something is not a kind of a firework it is apsidal and manorial. sent11: the wax-chandler does hatch Gettysburg and it is a coinsurance. sent12: the Carver is attributable if it is not manorial. sent13: something that is a snot erupts and is not a kind of a firework. sent14: something is epicarpal and it is manorial if it does not erupt. sent15: if there is something such that it is not attributable and/or does not erupt the chondrite is not attributable. sent16: something is epicarpal and does hatch HRT if it is unattributable. sent17: the Carver is a keteleeria that is a carinate. sent18: that something does hatch HRT and is attributable does not hold if it is not epicarpal. ; $proof$ = 
sent7 -> int1: the Carver does hatch HRT.; sent12 & sent4 -> int2: the Carver is attributable.; int1 & int2 -> hypothesis; __DISPROVED__