the codpiece is a Mesozoic that is not microbial.
sent1: if there exists something such that it does not tease jassid the slipper does not surmise codpiece but it is indexical. sent2: if something is not a Mesozoic the alyssum is a kind of non-microbial thing that does ramify. sent3: if the alyssum is not a kind of a Mesozoic then that the codpiece is Mesozoic and is not microbial is wrong. sent4: something does not tease jassid. sent5: if the codpiece is not microbial but it is indexical the alyssum does ramify. sent6: that the codpiece is hyperemic but it is not a kind of a Mesozoic is wrong. sent7: that the codpiece is a kind of a Mesozoic and surmises codpiece is not true. sent8: the codpiece is a Sardinian. sent9: if the alyssum does not surmise codpiece but it is a Mesozoic the slipper is microbial. sent10: if the slipper does not surmise codpiece but it is indexical the alyssum does ramify. sent11: if something ramifies and/or is hyperemic the fact that it is a kind of a Mesozoic is not right. sent12: if something does surmise codpiece it is not microbial.
sent4 & sent1 -> int1: the slipper does not surmise codpiece and is indexical.; int1 & sent10 -> int2: the alyssum does ramify.; int2 -> int3: the alyssum ramifies and/or is hyperemic.; sent11 -> int4: if the alyssum does ramify and/or is hyperemic it is not a Mesozoic.; int3 & int4 -> int5: the alyssum is not a Mesozoic.; int5 & sent3 -> hypothesis;
$hypothesis$ = the codpiece is a Mesozoic that is not microbial. ; $context$ = sent1: if there exists something such that it does not tease jassid the slipper does not surmise codpiece but it is indexical. sent2: if something is not a Mesozoic the alyssum is a kind of non-microbial thing that does ramify. sent3: if the alyssum is not a kind of a Mesozoic then that the codpiece is Mesozoic and is not microbial is wrong. sent4: something does not tease jassid. sent5: if the codpiece is not microbial but it is indexical the alyssum does ramify. sent6: that the codpiece is hyperemic but it is not a kind of a Mesozoic is wrong. sent7: that the codpiece is a kind of a Mesozoic and surmises codpiece is not true. sent8: the codpiece is a Sardinian. sent9: if the alyssum does not surmise codpiece but it is a Mesozoic the slipper is microbial. sent10: if the slipper does not surmise codpiece but it is indexical the alyssum does ramify. sent11: if something ramifies and/or is hyperemic the fact that it is a kind of a Mesozoic is not right. sent12: if something does surmise codpiece it is not microbial. ; $proof$ = 
sent4 & sent1 -> int1: the slipper does not surmise codpiece and is indexical.; int1 & sent10 -> int2: the alyssum does ramify.; int2 -> int3: the alyssum ramifies and/or is hyperemic.; sent11 -> int4: if the alyssum does ramify and/or is hyperemic it is not a Mesozoic.; int3 & int4 -> int5: the alyssum is not a Mesozoic.; int5 & sent3 -> hypothesis; __DISPROVED__