that there is something such that if that it does not treble and is Bosnian is not correct then it is a kind of a void is not right.
sent1: if the artilleryman does treble then it does void. sent2: there is something such that if it is not Bosnian it is a kind of a void. sent3: if that something does not treble but it is Bosnian is incorrect then it is a void. sent4: if something that is not womanly shampoos Alsophila then it is a woodcarver.
sent3 -> int1: the artilleryman does void if the fact that it does not treble and it is Bosnian does not hold.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if that it does not treble and is Bosnian is not correct then it is a kind of a void is not right. ; $context$ = sent1: if the artilleryman does treble then it does void. sent2: there is something such that if it is not Bosnian it is a kind of a void. sent3: if that something does not treble but it is Bosnian is incorrect then it is a void. sent4: if something that is not womanly shampoos Alsophila then it is a woodcarver. ; $proof$ = 
sent3 -> int1: the artilleryman does void if the fact that it does not treble and it is Bosnian does not hold.; int1 -> hypothesis; __DISPROVED__