if the Catalanness occurs the hidroticness does not occur and/or the hoe does not occur.
sent1: the Catalanness is brought about by that the hidroticness occurs and the demarche happens. sent2: both the multilateralness and the preciseness happens. sent3: the axing pasty occurs. sent4: if the bacchanal occurs and the axing slouch happens then the fact that the confusion occurs is right. sent5: either the hidroticness happens or the hoe does not occur or both if the Catalanness happens. sent6: that the extraterritorialness occurs and the spillage occurs prevents that the dirt does not occur. sent7: the demarche occurs. sent8: either the phrenologicalness does not occur or the axing pasty occurs or both if the unloading occurs. sent9: that the non-Leviticalness and/or the axing forehanded occurs is brought about by that the Pharaonicness occurs. sent10: that the axing Dominican occurs results in either the psycholinguisticness or that the comedown does not occur or both. sent11: the Catalan is prevented by that the hidroticness happens and the demarche happens. sent12: both the airdrop and the axing cleanser occurs. sent13: the hidroticness occurs and/or the hoeing does not occur. sent14: the preserve occurs. sent15: if the austeniticness and the axing angostura occurs the airdrop occurs.
void -> assump1: Let's assume that the Catalanness occurs.; void -> assump2: Let's assume that the hidroticness happens.; assump2 & sent7 -> int1: the hidroticness happens and the demarche occurs.; sent11 & int1 -> int2: the Catalan does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the hidroticness does not occur.; int4 -> int5: the hidroticness does not occur and/or the hoe does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the Catalanness occurs the hidroticness does not occur and/or the hoe does not occur. ; $context$ = sent1: the Catalanness is brought about by that the hidroticness occurs and the demarche happens. sent2: both the multilateralness and the preciseness happens. sent3: the axing pasty occurs. sent4: if the bacchanal occurs and the axing slouch happens then the fact that the confusion occurs is right. sent5: either the hidroticness happens or the hoe does not occur or both if the Catalanness happens. sent6: that the extraterritorialness occurs and the spillage occurs prevents that the dirt does not occur. sent7: the demarche occurs. sent8: either the phrenologicalness does not occur or the axing pasty occurs or both if the unloading occurs. sent9: that the non-Leviticalness and/or the axing forehanded occurs is brought about by that the Pharaonicness occurs. sent10: that the axing Dominican occurs results in either the psycholinguisticness or that the comedown does not occur or both. sent11: the Catalan is prevented by that the hidroticness happens and the demarche happens. sent12: both the airdrop and the axing cleanser occurs. sent13: the hidroticness occurs and/or the hoeing does not occur. sent14: the preserve occurs. sent15: if the austeniticness and the axing angostura occurs the airdrop occurs. ; $proof$ = 
void -> assump1: Let's assume that the Catalanness occurs.; void -> assump2: Let's assume that the hidroticness happens.; assump2 & sent7 -> int1: the hidroticness happens and the demarche occurs.; sent11 & int1 -> int2: the Catalan does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the hidroticness does not occur.; int4 -> int5: the hidroticness does not occur and/or the hoe does not occur.; [assump1] & int5 -> hypothesis; __PROVED__