the twistwood is a kind of a cocksucker.
sent1: something is impetiginous if it is a dumpiness. sent2: that the tofu is a ticket but it is not a kind of a dumpiness does not hold if the isotherm is not impetiginous. sent3: something is not impetiginous if it is rectosigmoid and it is not a kind of a myeloma. sent4: if something is a kind of a Scaramouch it is both rectosigmoid and not a myeloma. sent5: something is a dumpiness and/or is a myeloma. sent6: either something is a dumpiness or it is not a myeloma or both. sent7: if there is something such that it is a dumpiness and/or it is not a myeloma then the Jenny is a kind of a dumpiness. sent8: if there is something such that it is not a kind of a myeloma then the fact that the Jenny is a dumpiness is not incorrect. sent9: the twistwood is a ticket if that the Jenny is impetiginous hold. sent10: if something does tour then the fact that it is a Scaramouch is not incorrect. sent11: if something is a ticket then it is a kind of a cocksucker.
sent1 -> int1: if the Jenny is a dumpiness then it is impetiginous.; sent6 & sent7 -> int2: the Jenny is a dumpiness.; int1 & int2 -> int3: the Jenny is impetiginous.; int3 & sent9 -> int4: the twistwood is a ticket.; sent11 -> int5: if the twistwood is a ticket it is a cocksucker.; int4 & int5 -> hypothesis;
the twistwood is not a cocksucker.
sent3 -> int6: the isotherm is not impetiginous if it is rectosigmoid and it is not a myeloma.; sent4 -> int7: if the isotherm is a kind of a Scaramouch it is a kind of rectosigmoid thing that is not a myeloma.; sent10 -> int8: if the isotherm is a tour then it is a Scaramouch.;
$hypothesis$ = the twistwood is a kind of a cocksucker. ; $context$ = sent1: something is impetiginous if it is a dumpiness. sent2: that the tofu is a ticket but it is not a kind of a dumpiness does not hold if the isotherm is not impetiginous. sent3: something is not impetiginous if it is rectosigmoid and it is not a kind of a myeloma. sent4: if something is a kind of a Scaramouch it is both rectosigmoid and not a myeloma. sent5: something is a dumpiness and/or is a myeloma. sent6: either something is a dumpiness or it is not a myeloma or both. sent7: if there is something such that it is a dumpiness and/or it is not a myeloma then the Jenny is a kind of a dumpiness. sent8: if there is something such that it is not a kind of a myeloma then the fact that the Jenny is a dumpiness is not incorrect. sent9: the twistwood is a ticket if that the Jenny is impetiginous hold. sent10: if something does tour then the fact that it is a Scaramouch is not incorrect. sent11: if something is a ticket then it is a kind of a cocksucker. ; $proof$ = 
sent1 -> int1: if the Jenny is a dumpiness then it is impetiginous.; sent6 & sent7 -> int2: the Jenny is a dumpiness.; int1 & int2 -> int3: the Jenny is impetiginous.; int3 & sent9 -> int4: the twistwood is a ticket.; sent11 -> int5: if the twistwood is a ticket it is a cocksucker.; int4 & int5 -> hypothesis; __PROVED__