there exists something such that it is a kind of a gigantism.
sent1: that the oncidium is a handover is not false. sent2: the cichlid is illicit. sent3: if the shaping sharks then the mestranol is a gigantism. sent4: the shaping is a shark if the fact that the cichlid does not tunnel oncidium and is a periodical does not hold. sent5: there exists nothing such that it does not tunnel oncidium and is a periodical.
sent5 -> int1: the fact that the cichlid does not tunnel oncidium but it is a periodical is incorrect.; sent4 & int1 -> int2: the shaping is a shark.; sent3 & int2 -> int3: the mestranol is a gigantism.; int3 -> hypothesis;
$hypothesis$ = there exists something such that it is a kind of a gigantism. ; $context$ = sent1: that the oncidium is a handover is not false. sent2: the cichlid is illicit. sent3: if the shaping sharks then the mestranol is a gigantism. sent4: the shaping is a shark if the fact that the cichlid does not tunnel oncidium and is a periodical does not hold. sent5: there exists nothing such that it does not tunnel oncidium and is a periodical. ; $proof$ = 
sent5 -> int1: the fact that the cichlid does not tunnel oncidium but it is a periodical is incorrect.; sent4 & int1 -> int2: the shaping is a shark.; sent3 & int2 -> int3: the mestranol is a gigantism.; int3 -> hypothesis; __PROVED__