the donna is not a kind of a helleborine and it is not a backstop.
sent1: if that something does not horripilate chloride and is not non-voyeuristic is correct then that it is not weightless is not false. sent2: if something that does not horripilate chloride is not voyeuristic it is not weightless. sent3: the fact that the donna is not a helleborine and does not backstop is not right if the Guinean is not weightless. sent4: everything does not horripilate chloride and it is not voyeuristic.
sent4 -> int1: the Guinean does not horripilate chloride and is not voyeuristic.; sent2 -> int2: the Guinean is not weightless if it does not horripilate chloride and it is not voyeuristic.; int1 & int2 -> int3: the Guinean is not weightless.; int3 & sent3 -> hypothesis;
$hypothesis$ = the donna is not a kind of a helleborine and it is not a backstop. ; $context$ = sent1: if that something does not horripilate chloride and is not non-voyeuristic is correct then that it is not weightless is not false. sent2: if something that does not horripilate chloride is not voyeuristic it is not weightless. sent3: the fact that the donna is not a helleborine and does not backstop is not right if the Guinean is not weightless. sent4: everything does not horripilate chloride and it is not voyeuristic. ; $proof$ = 
sent4 -> int1: the Guinean does not horripilate chloride and is not voyeuristic.; sent2 -> int2: the Guinean is not weightless if it does not horripilate chloride and it is not voyeuristic.; int1 & int2 -> int3: the Guinean is not weightless.; int3 & sent3 -> hypothesis; __DISPROVED__