the gorget does drill endlessness.
sent1: if something is experimental the fact that it is a Sebastopol and/or it is not a edaphosaurus is not correct. sent2: if something that is not calcic does not reheat incest it is inward. sent3: the swathing is experimental and it is a Serrasalmus if the woofer does not roughen. sent4: something is trabecular if it is a quadratics. sent5: the fact that the apprehender does not reheat felt but it does roughen does not hold if the dobson is not a retention. sent6: The Montessori does tailgate incest. sent7: that the dobson is both a draftsman and a retention is wrong. sent8: if something grills then it is inward. sent9: something is not calcic and it does not reheat incest if it is not a Steuben. sent10: something is a spinelessness if it does drill recorder. sent11: that the Francophile is not a Cook is true if the fact that the ironing is a Sebastopol or is not a kind of a edaphosaurus or both is not true. sent12: if the swathing is experimental then the ironing is experimental. sent13: something is not an action and not fiducial if it is not a Cook. sent14: if the incest tailgates Montessori the gorget grills. sent15: the felt is an insecurity if it does drill endlessness. sent16: the dobson is not a retention if that it is a draftsman and is a kind of a retention is incorrect. sent17: if the gorget drills endlessness then it does tailgate Montessori. sent18: the incest does tailgate Montessori. sent19: the chain-smoker does tailgate Montessori. sent20: the fact that if that the apprehender does not reheat felt but it roughens is incorrect the woofer does not roughens hold. sent21: if the incest roughens then it is lactogenic. sent22: if something is inward it drills endlessness. sent23: the gorget does not drill endlessness if the incest does not tailgate Montessori and does not grill.
sent14 & sent18 -> int1: the gorget is a kind of a grill.; sent8 -> int2: if that the gorget is a grill hold then it is inward.; int1 & int2 -> int3: the gorget is inward.; sent22 -> int4: the gorget does drill endlessness if it is not outward.; int3 & int4 -> hypothesis;
the redhead is a kind of a spinelessness if it does drill recorder.
sent10 -> hypothesis;
$hypothesis$ = the gorget does drill endlessness. ; $context$ = sent1: if something is experimental the fact that it is a Sebastopol and/or it is not a edaphosaurus is not correct. sent2: if something that is not calcic does not reheat incest it is inward. sent3: the swathing is experimental and it is a Serrasalmus if the woofer does not roughen. sent4: something is trabecular if it is a quadratics. sent5: the fact that the apprehender does not reheat felt but it does roughen does not hold if the dobson is not a retention. sent6: The Montessori does tailgate incest. sent7: that the dobson is both a draftsman and a retention is wrong. sent8: if something grills then it is inward. sent9: something is not calcic and it does not reheat incest if it is not a Steuben. sent10: something is a spinelessness if it does drill recorder. sent11: that the Francophile is not a Cook is true if the fact that the ironing is a Sebastopol or is not a kind of a edaphosaurus or both is not true. sent12: if the swathing is experimental then the ironing is experimental. sent13: something is not an action and not fiducial if it is not a Cook. sent14: if the incest tailgates Montessori the gorget grills. sent15: the felt is an insecurity if it does drill endlessness. sent16: the dobson is not a retention if that it is a draftsman and is a kind of a retention is incorrect. sent17: if the gorget drills endlessness then it does tailgate Montessori. sent18: the incest does tailgate Montessori. sent19: the chain-smoker does tailgate Montessori. sent20: the fact that if that the apprehender does not reheat felt but it roughens is incorrect the woofer does not roughens hold. sent21: if the incest roughens then it is lactogenic. sent22: if something is inward it drills endlessness. sent23: the gorget does not drill endlessness if the incest does not tailgate Montessori and does not grill. ; $proof$ = 
sent14 & sent18 -> int1: the gorget is a kind of a grill.; sent8 -> int2: if that the gorget is a grill hold then it is inward.; int1 & int2 -> int3: the gorget is inward.; sent22 -> int4: the gorget does drill endlessness if it is not outward.; int3 & int4 -> hypothesis; __PROVED__