the fact that there is something such that the fact that it is not a kind of a burgundy is correct does not hold.
sent1: if the orbit is extensive the King is not a fielding. sent2: the King is a tonic. sent3: the eucalyptus is not mud-brick. sent4: if something that is a pinetum is not a lead-in it is a carter. sent5: everything is not mud-brick. sent6: the King is mud-brick if it is a burgundy. sent7: there exists something such that that it is not a moss and it is not audio-lingual does not hold. sent8: the fact that that something is a kind of mud-brick thing that does not ice gamete is false if it is a carter is not wrong. sent9: everything is not a kind of a theremin. sent10: the King is valedictory if it is mud-brick. sent11: if there is something such that that that it is not a moss and not audio-lingual is correct does not hold then the eucalyptus is a moss. sent12: everything does not flex. sent13: there is something such that the fact that it is a burgundy is right. sent14: if the eucalyptus does not enslave coo and does not ice corbelled then the orbit is extensive. sent15: everything does not spoon Tetraodontidae. sent16: if something is a moss then it does not enslave coo and it does not ice corbelled. sent17: everything is not a marsupial. sent18: if something is not a fielding then it is a kind of a pinetum and is not a lead-in. sent19: the King does bead roof.
void -> assump1: Let's assume that the King is a kind of a burgundy.; sent6 & assump1 -> int1: the King is mud-brick.; sent5 -> int2: the King is not mud-brick.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the King is not a burgundy.; int4 -> hypothesis;
that the bag is a burgundy hold.
sent8 -> int5: the fact that the King is mud-brick thing that does not ice gamete does not hold if it is a carter.; sent4 -> int6: if the King is a kind of a pinetum that is not a lead-in then it is a carter.; sent18 -> int7: the King is a pinetum but it is not a lead-in if it does not field.; sent16 -> int8: the eucalyptus does not enslave coo and it does not ice corbelled if it is a moss.; sent7 & sent11 -> int9: the eucalyptus is a moss.; int8 & int9 -> int10: the eucalyptus does not enslave coo and it does not ice corbelled.; sent14 & int10 -> int11: the orbit is extensive.; sent1 & int11 -> int12: the King is not a kind of a fielding.; int7 & int12 -> int13: the King is a pinetum but it is not a kind of a lead-in.; int6 & int13 -> int14: the fact that the King is a carter hold.; int5 & int14 -> int15: the fact that the King is mud-brick and does not ice gamete is not right.; int15 -> int16: there is something such that that it is not non-mud-brick and it does not ice gamete does not hold.;
$hypothesis$ = the fact that there is something such that the fact that it is not a kind of a burgundy is correct does not hold. ; $context$ = sent1: if the orbit is extensive the King is not a fielding. sent2: the King is a tonic. sent3: the eucalyptus is not mud-brick. sent4: if something that is a pinetum is not a lead-in it is a carter. sent5: everything is not mud-brick. sent6: the King is mud-brick if it is a burgundy. sent7: there exists something such that that it is not a moss and it is not audio-lingual does not hold. sent8: the fact that that something is a kind of mud-brick thing that does not ice gamete is false if it is a carter is not wrong. sent9: everything is not a kind of a theremin. sent10: the King is valedictory if it is mud-brick. sent11: if there is something such that that that it is not a moss and not audio-lingual is correct does not hold then the eucalyptus is a moss. sent12: everything does not flex. sent13: there is something such that the fact that it is a burgundy is right. sent14: if the eucalyptus does not enslave coo and does not ice corbelled then the orbit is extensive. sent15: everything does not spoon Tetraodontidae. sent16: if something is a moss then it does not enslave coo and it does not ice corbelled. sent17: everything is not a marsupial. sent18: if something is not a fielding then it is a kind of a pinetum and is not a lead-in. sent19: the King does bead roof. ; $proof$ = 
void -> assump1: Let's assume that the King is a kind of a burgundy.; sent6 & assump1 -> int1: the King is mud-brick.; sent5 -> int2: the King is not mud-brick.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the King is not a burgundy.; int4 -> hypothesis; __DISPROVED__