that the lexicographicness does not occur if the butting cruiserweight does not occur is false.
sent1: that the winglessness does not occur and/or the enterostomy happens causes that the rearing distortion happens. sent2: the reigning does not occur if the falls occurs. sent3: if the fact that the lexicographicness does not occur and the butting cruiserweight does not occur is false the anabaticness does not occur. sent4: if the fact that the winglessness and the constitutionalness occurs is wrong the fact that the winglessness does not occur is not false. sent5: if the rearing distortion happens then that the lexicographicness does not occur and the butting cruiserweight does not occur is wrong. sent6: the butting cruiserweight is caused by that the lexicographicness occurs. sent7: if the billow does not occur that the winglessness happens and the constitutionalness happens does not hold. sent8: the lexicographicness happens if the butting cruiserweight does not occur.
void -> assump2: Let's assume that the lexicographicness occurs.; sent6 & assump2 -> int1: the butting cruiserweight occurs.; void -> assump1: Let's assume that the butting cruiserweight does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the lexicographicness does not occur.; [assump1] & int3 -> hypothesis;
the anabaticness does not occur.
$hypothesis$ = that the lexicographicness does not occur if the butting cruiserweight does not occur is false. ; $context$ = sent1: that the winglessness does not occur and/or the enterostomy happens causes that the rearing distortion happens. sent2: the reigning does not occur if the falls occurs. sent3: if the fact that the lexicographicness does not occur and the butting cruiserweight does not occur is false the anabaticness does not occur. sent4: if the fact that the winglessness and the constitutionalness occurs is wrong the fact that the winglessness does not occur is not false. sent5: if the rearing distortion happens then that the lexicographicness does not occur and the butting cruiserweight does not occur is wrong. sent6: the butting cruiserweight is caused by that the lexicographicness occurs. sent7: if the billow does not occur that the winglessness happens and the constitutionalness happens does not hold. sent8: the lexicographicness happens if the butting cruiserweight does not occur. ; $proof$ = 
void -> assump2: Let's assume that the lexicographicness occurs.; sent6 & assump2 -> int1: the butting cruiserweight occurs.; void -> assump1: Let's assume that the butting cruiserweight does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the lexicographicness does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__