the perchlorate is not a transition but it is a correction.
sent1: if something is not a Papaver and is scalene then it is not a Aporocactus. sent2: something does not transition but it is a correction if that it is a Naja is not incorrect. sent3: the fact that either the arms is not a Aporocactus or it does not bead kiang or both is wrong. sent4: something is a Aporocactus if it is not a kind of a transition and is a kind of a correction. sent5: if the fact that either the arms is not a Aporocactus or it does not bead kiang or both is not true the perchlorate is not a Aporocactus. sent6: the perchlorate is a correction. sent7: that the fact that the arms does not transition and/or is not a Aporocactus does not hold is correct. sent8: the perchlorate is a kind of a Naja if the arms is a Naja but it does not bead kiang. sent9: the divot does bead kiang and it is a Naja if the arms is not a kind of a Aporocactus.
sent4 -> int1: if the perchlorate is not a kind of a transition and is a correction it is a Aporocactus.; void -> assump1: Let's assume that the perchlorate is not a transition but it is a correction.; int1 & assump1 -> int2: the perchlorate is a Aporocactus.; sent5 & sent3 -> int3: the perchlorate is not a Aporocactus.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the divot beads kiang.
sent1 -> int5: if the arms is not a Papaver and is scalene then it is not a Aporocactus.;
$hypothesis$ = the perchlorate is not a transition but it is a correction. ; $context$ = sent1: if something is not a Papaver and is scalene then it is not a Aporocactus. sent2: something does not transition but it is a correction if that it is a Naja is not incorrect. sent3: the fact that either the arms is not a Aporocactus or it does not bead kiang or both is wrong. sent4: something is a Aporocactus if it is not a kind of a transition and is a kind of a correction. sent5: if the fact that either the arms is not a Aporocactus or it does not bead kiang or both is not true the perchlorate is not a Aporocactus. sent6: the perchlorate is a correction. sent7: that the fact that the arms does not transition and/or is not a Aporocactus does not hold is correct. sent8: the perchlorate is a kind of a Naja if the arms is a Naja but it does not bead kiang. sent9: the divot does bead kiang and it is a Naja if the arms is not a kind of a Aporocactus. ; $proof$ = 
sent4 -> int1: if the perchlorate is not a kind of a transition and is a correction it is a Aporocactus.; void -> assump1: Let's assume that the perchlorate is not a transition but it is a correction.; int1 & assump1 -> int2: the perchlorate is a Aporocactus.; sent5 & sent3 -> int3: the perchlorate is not a Aporocactus.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__