there are non-Malay and non-cold things.
sent1: there is something such that it is not a kind of a Malay and it is a cold. sent2: the modification is not a cold if either the ern is not cold or it does not refuse or both. sent3: there is something such that it does not fill couchette. sent4: the modification is not Malay if the barmbrack is a kind of difficult thing that is not cerous. sent5: the ern either is a cold or does not refuse or both. sent6: the fact that something is difficult and does not fill couchette is incorrect if it is not cerous. sent7: if there is something such that it does not fill couchette the barmbrack is difficult but it is not cerous. sent8: the ern is not a kind of a cold or it does not refuse or both. sent9: if the barmbrack is a kind of difficult thing that is cerous the modification is non-Malay.
sent3 & sent7 -> int1: the barmbrack is both difficult and not cerous.; int1 & sent4 -> int2: the modification is not a Malay.; sent2 & sent8 -> int3: the modification is non-cold.; int2 & int3 -> int4: the modification is not Malay and not cold.; int4 -> hypothesis;
the middy is not a Malay.
sent6 -> int5: the fact that the middy is difficult but it does not fill couchette is not true if it is not cerous.;
$hypothesis$ = there are non-Malay and non-cold things. ; $context$ = sent1: there is something such that it is not a kind of a Malay and it is a cold. sent2: the modification is not a cold if either the ern is not cold or it does not refuse or both. sent3: there is something such that it does not fill couchette. sent4: the modification is not Malay if the barmbrack is a kind of difficult thing that is not cerous. sent5: the ern either is a cold or does not refuse or both. sent6: the fact that something is difficult and does not fill couchette is incorrect if it is not cerous. sent7: if there is something such that it does not fill couchette the barmbrack is difficult but it is not cerous. sent8: the ern is not a kind of a cold or it does not refuse or both. sent9: if the barmbrack is a kind of difficult thing that is cerous the modification is non-Malay. ; $proof$ = 
sent3 & sent7 -> int1: the barmbrack is both difficult and not cerous.; int1 & sent4 -> int2: the modification is not a Malay.; sent2 & sent8 -> int3: the modification is non-cold.; int2 & int3 -> int4: the modification is not Malay and not cold.; int4 -> hypothesis; __PROVED__