the fact that either the primariness does not occur or the poising does not occur or both is not true.
sent1: not the roughleg but the fastness happens. sent2: if the curling does not occur then that the primary does not occur and/or the poise does not occur is wrong. sent3: if both the non-roughlegness and the fast occurs the artesianness occurs. sent4: that the primariness occurs is prevented by that the curling occurs and/or that the artesianness occurs. sent5: if the roughleg occurs and the fasting occurs then the artesianness occurs.
sent3 & sent1 -> int1: that the artesianness occurs is correct.; int1 -> int2: either the curling or the artesianness or both happens.; sent4 & int2 -> int3: the primary does not occur.; int3 -> hypothesis;
that either the primariness does not occur or the poise does not occur or both is not right.
$hypothesis$ = the fact that either the primariness does not occur or the poising does not occur or both is not true. ; $context$ = sent1: not the roughleg but the fastness happens. sent2: if the curling does not occur then that the primary does not occur and/or the poise does not occur is wrong. sent3: if both the non-roughlegness and the fast occurs the artesianness occurs. sent4: that the primariness occurs is prevented by that the curling occurs and/or that the artesianness occurs. sent5: if the roughleg occurs and the fasting occurs then the artesianness occurs. ; $proof$ = 
sent3 & sent1 -> int1: that the artesianness occurs is correct.; int1 -> int2: either the curling or the artesianness or both happens.; sent4 & int2 -> int3: the primary does not occur.; int3 -> hypothesis; __DISPROVED__