the shad is unexportable.
sent1: if there is something such that that it singles senega is not wrong then that the Burgess is a kind of a cleistogamy but it is not immunocompetent does not hold. sent2: that the shad does single Simeon but it is not literal is not right if the henbane does not single panoply. sent3: something is immunocompetent. sent4: the fact that something is not unexportable and is a cleistogamy is wrong if it singles senega. sent5: something does single senega. sent6: if that the shad does single Simeon but it does not single panoply is false then it is not literal. sent7: if that that the Burgess is a cleistogamy but it does not single Simeon is not right is not incorrect then it is not unexportable. sent8: if the shad is not a cleistogamy that the Burgess is literal and is not unexportable does not hold. sent9: if the Burgess is immunocompetent then the henbane does not single panoply. sent10: the fact that the shad does single panoply but it is non-literal does not hold. sent11: if something does not single Simeon it is not unexportable. sent12: that the Burgess is a cleistogamy and it is immunocompetent is not right if something does single senega. sent13: if the fact that something is unexportable but it is not immunocompetent does not hold then it does not single panoply. sent14: the henbane does not single panoply if the fact that the Burgess is a cleistogamy that is not immunocompetent is wrong. sent15: the HAART is not a cleistogamy. sent16: the fact that that the shad is literal but it is not a kind of a cleistogamy is correct does not hold if the Burgess is not immunocompetent. sent17: the shad does not single panoply if that it does single Simeon and it is exportable is false. sent18: the fact that the Burgess is a kind of a cleistogamy and is immunocompetent is false. sent19: if the shad does not single Simeon then it is not unexportable. sent20: something is not unexportable if the fact that it does single Simeon and is not literal is not true. sent21: the Burgess is not immunocompetent if the fact that the shad is a cleistogamy but it is not literal is not true. sent22: the fact that the couch is literal but it is non-ritual is wrong.
sent5 & sent1 -> int1: the fact that the Burgess is a cleistogamy but it is not immunocompetent does not hold.; int1 & sent14 -> int2: the henbane does not single panoply.; int2 & sent2 -> int3: that the shad does single Simeon but it is not literal does not hold.; sent20 -> int4: if that the shad does single Simeon but it is not literal is false then it is not unexportable.; int3 & int4 -> hypothesis;
the shad is unexportable.
sent4 -> int5: that the shad is non-unexportable a cleistogamy is wrong if it singles senega.;
$hypothesis$ = the shad is unexportable. ; $context$ = sent1: if there is something such that that it singles senega is not wrong then that the Burgess is a kind of a cleistogamy but it is not immunocompetent does not hold. sent2: that the shad does single Simeon but it is not literal is not right if the henbane does not single panoply. sent3: something is immunocompetent. sent4: the fact that something is not unexportable and is a cleistogamy is wrong if it singles senega. sent5: something does single senega. sent6: if that the shad does single Simeon but it does not single panoply is false then it is not literal. sent7: if that that the Burgess is a cleistogamy but it does not single Simeon is not right is not incorrect then it is not unexportable. sent8: if the shad is not a cleistogamy that the Burgess is literal and is not unexportable does not hold. sent9: if the Burgess is immunocompetent then the henbane does not single panoply. sent10: the fact that the shad does single panoply but it is non-literal does not hold. sent11: if something does not single Simeon it is not unexportable. sent12: that the Burgess is a cleistogamy and it is immunocompetent is not right if something does single senega. sent13: if the fact that something is unexportable but it is not immunocompetent does not hold then it does not single panoply. sent14: the henbane does not single panoply if the fact that the Burgess is a cleistogamy that is not immunocompetent is wrong. sent15: the HAART is not a cleistogamy. sent16: the fact that that the shad is literal but it is not a kind of a cleistogamy is correct does not hold if the Burgess is not immunocompetent. sent17: the shad does not single panoply if that it does single Simeon and it is exportable is false. sent18: the fact that the Burgess is a kind of a cleistogamy and is immunocompetent is false. sent19: if the shad does not single Simeon then it is not unexportable. sent20: something is not unexportable if the fact that it does single Simeon and is not literal is not true. sent21: the Burgess is not immunocompetent if the fact that the shad is a cleistogamy but it is not literal is not true. sent22: the fact that the couch is literal but it is non-ritual is wrong. ; $proof$ = 
sent5 & sent1 -> int1: the fact that the Burgess is a cleistogamy but it is not immunocompetent does not hold.; int1 & sent14 -> int2: the henbane does not single panoply.; int2 & sent2 -> int3: that the shad does single Simeon but it is not literal does not hold.; sent20 -> int4: if that the shad does single Simeon but it is not literal is false then it is not unexportable.; int3 & int4 -> hypothesis; __DISPROVED__