the fact that if the Mullah is not stiff the cicada is behavioristic and it is azotic is not right.
sent1: something is non-invertible but not non-triumphal if it is not stiff. sent2: if something is stiff then it is behavioristic. sent3: if there exists something such that it does not drape kina and it is invertible the Mullah is azotic. sent4: if there is something such that it is not invertible and it is triumphal then the cicada drapes kina. sent5: something is azotic if it does drape kina. sent6: the obliger is a psilomelane or does jellify Zealander or both if it does not exceed stuffiness. sent7: something is not invertible if it is not a kind of a stiff. sent8: something is not behavioristic but azotic if it is not invertible. sent9: the cicada does drape kina if a invertible thing is triumphal. sent10: the fact that the cicada is behavioristic is not incorrect.
sent1 -> int1: the Mullah is both not invertible and triumphal if it is not a stiff.; void -> assump1: Let's assume that the Mullah is not stiff.; int1 & assump1 -> int2: the Mullah is a kind of non-invertible thing that is triumphal.; int2 -> int3: there are non-invertible and triumphal things.; int3 & sent4 -> int4: the cicada does drape kina.; sent5 -> int5: if the cicada does drape kina then it is azotic.; int4 & int5 -> int6: the cicada is azotic.; int6 & sent10 -> int7: the fact that the cicada is behavioristic and it is azotic is right.; [assump1] & int7 -> hypothesis;
the obliger is behavioristic.
sent2 -> int8: if the obliger is a kind of a stiff it is behavioristic.;
$hypothesis$ = the fact that if the Mullah is not stiff the cicada is behavioristic and it is azotic is not right. ; $context$ = sent1: something is non-invertible but not non-triumphal if it is not stiff. sent2: if something is stiff then it is behavioristic. sent3: if there exists something such that it does not drape kina and it is invertible the Mullah is azotic. sent4: if there is something such that it is not invertible and it is triumphal then the cicada drapes kina. sent5: something is azotic if it does drape kina. sent6: the obliger is a psilomelane or does jellify Zealander or both if it does not exceed stuffiness. sent7: something is not invertible if it is not a kind of a stiff. sent8: something is not behavioristic but azotic if it is not invertible. sent9: the cicada does drape kina if a invertible thing is triumphal. sent10: the fact that the cicada is behavioristic is not incorrect. ; $proof$ = 
sent1 -> int1: the Mullah is both not invertible and triumphal if it is not a stiff.; void -> assump1: Let's assume that the Mullah is not stiff.; int1 & assump1 -> int2: the Mullah is a kind of non-invertible thing that is triumphal.; int2 -> int3: there are non-invertible and triumphal things.; int3 & sent4 -> int4: the cicada does drape kina.; sent5 -> int5: if the cicada does drape kina then it is azotic.; int4 & int5 -> int6: the cicada is azotic.; int6 & sent10 -> int7: the fact that the cicada is behavioristic and it is azotic is right.; [assump1] & int7 -> hypothesis; __DISPROVED__