the congee is not a kind of a IC.
sent1: the congee is a kind of a Timorese but it does not concretize Malmo. sent2: the Nazi is not a kind of a IC. sent3: The inamorata does not concretize congee. sent4: if the congee does not concretize inamorata then it is not nonexempt. sent5: the congee squirts but it does not madden businessman. sent6: the congee does not concretize inamorata. sent7: the yak concretizes inamorata. sent8: the metabolism is a Congolese. sent9: something is a IC and is not a kind of a Congolese if it is not nonexempt. sent10: the congee is not a Arminianism. sent11: the inamorata is a IC. sent12: the congee is a kind of a good.
sent4 & sent6 -> int1: the congee is not nonexempt.; sent9 -> int2: the congee is a kind of a IC but it is not a kind of a Congolese if it is not nonexempt.; int1 & int2 -> int3: the congee is a IC but it is not Congolese.; int3 -> hypothesis;
$hypothesis$ = the congee is not a kind of a IC. ; $context$ = sent1: the congee is a kind of a Timorese but it does not concretize Malmo. sent2: the Nazi is not a kind of a IC. sent3: The inamorata does not concretize congee. sent4: if the congee does not concretize inamorata then it is not nonexempt. sent5: the congee squirts but it does not madden businessman. sent6: the congee does not concretize inamorata. sent7: the yak concretizes inamorata. sent8: the metabolism is a Congolese. sent9: something is a IC and is not a kind of a Congolese if it is not nonexempt. sent10: the congee is not a Arminianism. sent11: the inamorata is a IC. sent12: the congee is a kind of a good. ; $proof$ = 
sent4 & sent6 -> int1: the congee is not nonexempt.; sent9 -> int2: the congee is a kind of a IC but it is not a kind of a Congolese if it is not nonexempt.; int1 & int2 -> int3: the congee is a IC but it is not Congolese.; int3 -> hypothesis; __DISPROVED__