that if that the staring untruthfulness does not occur but the someness occurs is not true the fact that the reprising Ursus does not occur is right does not hold.
sent1: the reprising Ursus does not occur if the displacement happens and the staring ruggedization happens. sent2: the fact that the reprising Ursus does not occur is correct if the staring untruthfulness does not occur but the someness happens. sent3: if that the morbilliformness does not occur and the breaststroke does not occur is incorrect the presenting does not occur. sent4: if the displacement does not occur the multiphaseness and the staring ruggedization happens. sent5: the reprising Ursus happens if the fact that not the staring untruthfulness but the someness occurs does not hold. sent6: that the reprising Ursus does not occur and the displacement occurs is not right if the presenting does not occur. sent7: the reprising ommatidium does not occur. sent8: if that both the sledding and the retraction occurs is incorrect that the disowning wound does not occur is not wrong. sent9: the gerrymandering occurs. sent10: the displacement occurs if that the fact that not the staring untruthfulness but the someness occurs is not right is not false. sent11: the non-presentness and the staring ruggedization happens.
void -> assump1: Let's assume that that the staring untruthfulness does not occur but the someness happens does not hold.; sent10 & assump1 -> int1: the fact that the displacement happens hold.; sent11 -> int2: the staring ruggedization happens.; int1 & int2 -> int3: the displacement occurs and the staring ruggedization happens.; int3 & sent1 -> int4: the reprising Ursus does not occur.; [assump1] & int4 -> hypothesis;
the multiphaseness occurs.
$hypothesis$ = that if that the staring untruthfulness does not occur but the someness occurs is not true the fact that the reprising Ursus does not occur is right does not hold. ; $context$ = sent1: the reprising Ursus does not occur if the displacement happens and the staring ruggedization happens. sent2: the fact that the reprising Ursus does not occur is correct if the staring untruthfulness does not occur but the someness happens. sent3: if that the morbilliformness does not occur and the breaststroke does not occur is incorrect the presenting does not occur. sent4: if the displacement does not occur the multiphaseness and the staring ruggedization happens. sent5: the reprising Ursus happens if the fact that not the staring untruthfulness but the someness occurs does not hold. sent6: that the reprising Ursus does not occur and the displacement occurs is not right if the presenting does not occur. sent7: the reprising ommatidium does not occur. sent8: if that both the sledding and the retraction occurs is incorrect that the disowning wound does not occur is not wrong. sent9: the gerrymandering occurs. sent10: the displacement occurs if that the fact that not the staring untruthfulness but the someness occurs is not right is not false. sent11: the non-presentness and the staring ruggedization happens. ; $proof$ = 
void -> assump1: Let's assume that that the staring untruthfulness does not occur but the someness happens does not hold.; sent10 & assump1 -> int1: the fact that the displacement happens hold.; sent11 -> int2: the staring ruggedization happens.; int1 & int2 -> int3: the displacement occurs and the staring ruggedization happens.; int3 & sent1 -> int4: the reprising Ursus does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__