the fact that not the fenestration but the recessionariness happens is false.
sent1: the channelization does not occur if the hydraulicness does not occur but the iconicness occurs. sent2: the recessionariness happens. sent3: the leveling jackfruit does not occur and the legitimating does not occur. sent4: if the leveling jackfruit does not occur the fact that the fact that the fenestration but not the channelization occurs is not right is not wrong. sent5: both the non-hydraulicness and the iconicness happens.
sent1 & sent5 -> int1: the channelization does not occur.; void -> assump1: Let's assume that the fenestration happens.; int1 & assump1 -> int2: the fenestration happens but the channelization does not occur.; sent3 -> int3: the leveling jackfruit does not occur.; sent4 & int3 -> int4: the fact that the fenestration but not the channelization happens is not right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fenestration does not occur.; int6 & sent2 -> hypothesis;
$hypothesis$ = the fact that not the fenestration but the recessionariness happens is false. ; $context$ = sent1: the channelization does not occur if the hydraulicness does not occur but the iconicness occurs. sent2: the recessionariness happens. sent3: the leveling jackfruit does not occur and the legitimating does not occur. sent4: if the leveling jackfruit does not occur the fact that the fact that the fenestration but not the channelization occurs is not right is not wrong. sent5: both the non-hydraulicness and the iconicness happens. ; $proof$ = 
sent1 & sent5 -> int1: the channelization does not occur.; void -> assump1: Let's assume that the fenestration happens.; int1 & assump1 -> int2: the fenestration happens but the channelization does not occur.; sent3 -> int3: the leveling jackfruit does not occur.; sent4 & int3 -> int4: the fact that the fenestration but not the channelization happens is not right.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fenestration does not occur.; int6 & sent2 -> hypothesis; __DISPROVED__