the fact that the murre is a kind of a discomycete if the pursuer is not non-chronic is false.
sent1: the fact that the schoolbag is a internuncio is right if it does not disturb. sent2: the pursuer is chronic if the schoolbag disturbs and is not a zettabyte. sent3: the pursuer disturbs if the schoolbag is chronic. sent4: the murre is a discomycete if the schoolbag is a internuncio. sent5: the pursuer is not chronic if the schoolbag does disturb but it is not a zettabyte. sent6: the schoolbag does disturb. sent7: the murre is not a zettabyte if the schoolbag is a internuncio and is not a kind of a discomycete. sent8: if that the pursuer is chronic thing that is not a discomycete is incorrect then it is a internuncio. sent9: the murre is chronic. sent10: the murre is a zettabyte. sent11: if that the schoolbag disturbs but it is not a zettabyte does not hold it is a internuncio.
void -> assump2: Let's assume that the schoolbag does disturb and is not a kind of a zettabyte.; sent5 & assump2 -> int1: the pursuer is not chronic.; void -> assump1: Let's assume that the pursuer is chronic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the schoolbag does disturb and is not a zettabyte is not correct.; int3 & sent11 -> int4: the schoolbag is a kind of a internuncio.; int4 & sent4 -> int5: the fact that the murre is a discomycete is correct.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the murre is a kind of a discomycete if the pursuer is not non-chronic is false. ; $context$ = sent1: the fact that the schoolbag is a internuncio is right if it does not disturb. sent2: the pursuer is chronic if the schoolbag disturbs and is not a zettabyte. sent3: the pursuer disturbs if the schoolbag is chronic. sent4: the murre is a discomycete if the schoolbag is a internuncio. sent5: the pursuer is not chronic if the schoolbag does disturb but it is not a zettabyte. sent6: the schoolbag does disturb. sent7: the murre is not a zettabyte if the schoolbag is a internuncio and is not a kind of a discomycete. sent8: if that the pursuer is chronic thing that is not a discomycete is incorrect then it is a internuncio. sent9: the murre is chronic. sent10: the murre is a zettabyte. sent11: if that the schoolbag disturbs but it is not a zettabyte does not hold it is a internuncio. ; $proof$ = 
void -> assump2: Let's assume that the schoolbag does disturb and is not a kind of a zettabyte.; sent5 & assump2 -> int1: the pursuer is not chronic.; void -> assump1: Let's assume that the pursuer is chronic.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the schoolbag does disturb and is not a zettabyte is not correct.; int3 & sent11 -> int4: the schoolbag is a kind of a internuncio.; int4 & sent4 -> int5: the fact that the murre is a discomycete is correct.; [assump1] & int5 -> hypothesis; __DISPROVED__