the fact that the abettor does not exult or it is areal or both if the fact that the pentastomid rigs agility hold does not hold.
sent1: the pentastomid does not rig agility if something either does depress or exhausts or both. sent2: the bayou does not depress if the fact that the kraal does not depress is right. sent3: the fact that the bayou does not roll Curietherapy and/or depresses is not right if the kraal does not depresses. sent4: if something either does depress or is an exhaust or both then the pentastomid rigs agility. sent5: something does not exult and/or it is areal if it is not protective. sent6: if there exists something such that the fact that it does not roll Curietherapy or it depresses or both is not right the abettor is not protective. sent7: the bayou does not depress. sent8: something does not roll Curietherapy and/or it depresses.
void -> assump2: Let's assume that the kraal does depress.; assump2 -> int1: the kraal depresses and/or exhausts.; int1 -> int2: something depresses and/or exhausts.; int2 & sent1 -> int3: the pentastomid does not rig agility.; void -> assump1: Let's assume that the fact that the pentastomid does rig agility is right.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the kraal does not depress.; int5 & sent3 -> int6: that that the bayou does not roll Curietherapy or it does depress or both is right is not right.; int6 -> int7: that there is something such that the fact that it does not roll Curietherapy and/or it depresses is not true is correct.; int7 & sent6 -> int8: the abettor is not protective.; sent5 -> int9: if the abettor is not protective then it does not exult and/or it is areal.; int8 & int9 -> int10: either the abettor does not exult or it is areal or both.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the fact that the abettor does not exult or it is areal or both if the fact that the pentastomid rigs agility hold does not hold. ; $context$ = sent1: the pentastomid does not rig agility if something either does depress or exhausts or both. sent2: the bayou does not depress if the fact that the kraal does not depress is right. sent3: the fact that the bayou does not roll Curietherapy and/or depresses is not right if the kraal does not depresses. sent4: if something either does depress or is an exhaust or both then the pentastomid rigs agility. sent5: something does not exult and/or it is areal if it is not protective. sent6: if there exists something such that the fact that it does not roll Curietherapy or it depresses or both is not right the abettor is not protective. sent7: the bayou does not depress. sent8: something does not roll Curietherapy and/or it depresses. ; $proof$ = 
void -> assump2: Let's assume that the kraal does depress.; assump2 -> int1: the kraal depresses and/or exhausts.; int1 -> int2: something depresses and/or exhausts.; int2 & sent1 -> int3: the pentastomid does not rig agility.; void -> assump1: Let's assume that the fact that the pentastomid does rig agility is right.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the kraal does not depress.; int5 & sent3 -> int6: that that the bayou does not roll Curietherapy or it does depress or both is right is not right.; int6 -> int7: that there is something such that the fact that it does not roll Curietherapy and/or it depresses is not true is correct.; int7 & sent6 -> int8: the abettor is not protective.; sent5 -> int9: if the abettor is not protective then it does not exult and/or it is areal.; int8 & int9 -> int10: either the abettor does not exult or it is areal or both.; [assump1] & int10 -> hypothesis; __DISPROVED__