the unbuttoning entomion occurs and the cleistogamousness occurs.
sent1: the unbuttoning entomion and the downing occurs. sent2: that the grip occurs and the marking happens leads to the non-interiorness. sent3: if the interiorness does not occur the fact that both the unbuttoning entomion and the cleistogamousness happens does not hold. sent4: the grip and the marking happens.
sent2 & sent4 -> int1: the interiorness does not occur.; sent3 & int1 -> hypothesis;
both the unbuttoning entomion and the cleistogamousness occurs.
sent1 -> int2: the unbuttoning entomion happens.;
$hypothesis$ = the unbuttoning entomion occurs and the cleistogamousness occurs. ; $context$ = sent1: the unbuttoning entomion and the downing occurs. sent2: that the grip occurs and the marking happens leads to the non-interiorness. sent3: if the interiorness does not occur the fact that both the unbuttoning entomion and the cleistogamousness happens does not hold. sent4: the grip and the marking happens. ; $proof$ = 
sent2 & sent4 -> int1: the interiorness does not occur.; sent3 & int1 -> hypothesis; __DISPROVED__