the fact that the creole is a jib is not wrong.
sent1: the supermarket is a kind of a anaplasty and it is nilpotent. sent2: if the sherbert is a anaplasty it is a Pasch. sent3: if the supermarket is not a maze the fact that it does default communism and it is not brisant is not correct. sent4: if either the supermarket is not a Pasch or it is brisant or both it is not nilpotent. sent5: if something defaults communism it is brisant. sent6: the creole is not a jib if the garnishee is a kind of a maze but it is not Gandhian. sent7: if the butcher is not a Pasch the garnishee is a kind of a Pasch and it defaults communism. sent8: if the supermarket is a kind of a anaplasty then the butcher is not a Pasch. sent9: if something is brisant it is not Gandhian. sent10: the garnishee is not Gandhian. sent11: if something is brisant it is a kind of a maze that is not Gandhian.
sent1 -> int1: the supermarket is a anaplasty.; int1 & sent8 -> int2: the butcher is not a Pasch.; int2 & sent7 -> int3: the garnishee is a Pasch and it defaults communism.; int3 -> int4: the garnishee defaults communism.; sent5 -> int5: if the garnishee does default communism it is brisant.; int4 & int5 -> int6: the garnishee is brisant.; sent11 -> int7: the garnishee is both a maze and non-Gandhian if it is brisant.; int6 & int7 -> int8: the garnishee is a maze but it is not Gandhian.; int8 & sent6 -> hypothesis;
the creole is a jib.
$hypothesis$ = the fact that the creole is a jib is not wrong. ; $context$ = sent1: the supermarket is a kind of a anaplasty and it is nilpotent. sent2: if the sherbert is a anaplasty it is a Pasch. sent3: if the supermarket is not a maze the fact that it does default communism and it is not brisant is not correct. sent4: if either the supermarket is not a Pasch or it is brisant or both it is not nilpotent. sent5: if something defaults communism it is brisant. sent6: the creole is not a jib if the garnishee is a kind of a maze but it is not Gandhian. sent7: if the butcher is not a Pasch the garnishee is a kind of a Pasch and it defaults communism. sent8: if the supermarket is a kind of a anaplasty then the butcher is not a Pasch. sent9: if something is brisant it is not Gandhian. sent10: the garnishee is not Gandhian. sent11: if something is brisant it is a kind of a maze that is not Gandhian. ; $proof$ = 
sent1 -> int1: the supermarket is a anaplasty.; int1 & sent8 -> int2: the butcher is not a Pasch.; int2 & sent7 -> int3: the garnishee is a Pasch and it defaults communism.; int3 -> int4: the garnishee defaults communism.; sent5 -> int5: if the garnishee does default communism it is brisant.; int4 & int5 -> int6: the garnishee is brisant.; sent11 -> int7: the garnishee is both a maze and non-Gandhian if it is brisant.; int6 & int7 -> int8: the garnishee is a maze but it is not Gandhian.; int8 & sent6 -> hypothesis; __DISPROVED__