that the bat is pro-choice is not false.
sent1: if something does not batch menarche that it is both not a jointed and publishable does not hold. sent2: the charnel does not batch menarche if the clapboard is servile. sent3: the bat is pro-choice if it is a kind of a Sokoro. sent4: the bat does accompany and it is a Sokoro if the charnel is not a kind of a Sokoro. sent5: if the fact that the harpoon does not fail harpoon but it is a Weizenbier does not hold then the clapboard is servile. sent6: the charnel is not a Sokoro if that it is not jointed and it is publishable is not correct. sent7: the fact that the harpoon does not fail harpoon but it is a kind of a Weizenbier is not true. sent8: if the harpoon does batch menarche then the bat is not pro-choice.
sent5 & sent7 -> int1: the clapboard is servile.; int1 & sent2 -> int2: the charnel does not batch menarche.; sent1 -> int3: if the charnel does not batch menarche then that it does not joint and it is publishable does not hold.; int2 & int3 -> int4: the fact that the charnel is non-jointed thing that is publishable is not true.; int4 & sent6 -> int5: the charnel is not a Sokoro.; int5 & sent4 -> int6: the bat does accompany and is a Sokoro.; int6 -> int7: the bat is a kind of a Sokoro.; int7 & sent3 -> hypothesis;
the bat is not pro-choice.
$hypothesis$ = that the bat is pro-choice is not false. ; $context$ = sent1: if something does not batch menarche that it is both not a jointed and publishable does not hold. sent2: the charnel does not batch menarche if the clapboard is servile. sent3: the bat is pro-choice if it is a kind of a Sokoro. sent4: the bat does accompany and it is a Sokoro if the charnel is not a kind of a Sokoro. sent5: if the fact that the harpoon does not fail harpoon but it is a Weizenbier does not hold then the clapboard is servile. sent6: the charnel is not a Sokoro if that it is not jointed and it is publishable is not correct. sent7: the fact that the harpoon does not fail harpoon but it is a kind of a Weizenbier is not true. sent8: if the harpoon does batch menarche then the bat is not pro-choice. ; $proof$ = 
sent5 & sent7 -> int1: the clapboard is servile.; int1 & sent2 -> int2: the charnel does not batch menarche.; sent1 -> int3: if the charnel does not batch menarche then that it does not joint and it is publishable does not hold.; int2 & int3 -> int4: the fact that the charnel is non-jointed thing that is publishable is not true.; int4 & sent6 -> int5: the charnel is not a Sokoro.; int5 & sent4 -> int6: the bat does accompany and is a Sokoro.; int6 -> int7: the bat is a kind of a Sokoro.; int7 & sent3 -> hypothesis; __PROVED__