that the fact that the Sotho is a Perodicticus is right if the roulade is humble is incorrect.
sent1: the roulade is humble if that it is not a bracer and not a Karelian is wrong. sent2: the roulade husks. sent3: the fact that the roulade is a bracer but it is not a Karelian is wrong. sent4: the Sotho is not a Perodicticus if that it is not a bracer and is not humble does not hold. sent5: something is a Perodicticus if it is a husk. sent6: if that the Sotho is not a kind of a husk hold the fact that the roulade is a bracer but it is not a kind of a Karelian is not right. sent7: that the roulade is not a kind of a bracer and it is not a kind of a Karelian is not right if the Sotho is not a kind of a husk. sent8: the roulade is not humble if it is a bracer. sent9: if the fact that something is not a bracer and it is not a kind of a Karelian is not right it does not humble.
void -> assump2: Let's assume that the Sotho is not a husk.; sent7 & assump2 -> int1: that the roulade is not a bracer and is not a Karelian is incorrect.; sent9 -> int2: if the fact that the roulade is not a kind of a bracer and it is not a Karelian is not true then it does not humble.; int1 & int2 -> int3: the roulade is not humble.; void -> assump1: Let's assume that the roulade does humble.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Sotho is a kind of a husk.; sent5 -> int6: if the Sotho husks then it is a Perodicticus.; int5 & int6 -> int7: the Sotho is a Perodicticus.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that the fact that the Sotho is a Perodicticus is right if the roulade is humble is incorrect. ; $context$ = sent1: the roulade is humble if that it is not a bracer and not a Karelian is wrong. sent2: the roulade husks. sent3: the fact that the roulade is a bracer but it is not a Karelian is wrong. sent4: the Sotho is not a Perodicticus if that it is not a bracer and is not humble does not hold. sent5: something is a Perodicticus if it is a husk. sent6: if that the Sotho is not a kind of a husk hold the fact that the roulade is a bracer but it is not a kind of a Karelian is not right. sent7: that the roulade is not a kind of a bracer and it is not a kind of a Karelian is not right if the Sotho is not a kind of a husk. sent8: the roulade is not humble if it is a bracer. sent9: if the fact that something is not a bracer and it is not a kind of a Karelian is not right it does not humble. ; $proof$ = 
void -> assump2: Let's assume that the Sotho is not a husk.; sent7 & assump2 -> int1: that the roulade is not a bracer and is not a Karelian is incorrect.; sent9 -> int2: if the fact that the roulade is not a kind of a bracer and it is not a Karelian is not true then it does not humble.; int1 & int2 -> int3: the roulade is not humble.; void -> assump1: Let's assume that the roulade does humble.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Sotho is a kind of a husk.; sent5 -> int6: if the Sotho husks then it is a Perodicticus.; int5 & int6 -> int7: the Sotho is a Perodicticus.; [assump1] & int7 -> hypothesis; __DISPROVED__