the Hebraist is not a Centre.
sent1: if that something is not a Bitis but it does beat exhortation is wrong then it is not virile. sent2: if the fact that the mizzen is pessimistic hold then that it is not virile and is nonprescription is wrong. sent3: if the fact that the pentobarbital is a kind of a Bitis and beats exhortation is not correct then the Hebraist is not a Centre. sent4: if the fact that the mizzen is not a Centre is not correct the Hebraist is a Centre. sent5: that the Hebraist is a Centre and pessimistic does not hold. sent6: the mizzen is pessimistic. sent7: the pentobarbital does not snuffle maulstick if it is a kind of a Centre. sent8: if something is a Centre that it does not beat exhortation is correct. sent9: the defeatist is nonprescription. sent10: the Hebraist is not pessimistic. sent11: the fact that the mizzen is aromatic is incorrect if that it does not enjoy LLB and is a eponym does not hold. sent12: that the Hebraist is a Centre and a Bitis is incorrect if the pentobarbital is not a Bitis. sent13: if the mizzen does not beat exhortation then that the pentobarbital is a kind of a Bitis and does beat exhortation is not correct. sent14: if the mizzen is pessimistic that it is virile and is nonprescription does not hold. sent15: the fact that the Hebraist is not a kind of a Centre is not wrong if the pentobarbital is not a kind of a Bitis. sent16: if something is virile then it does not beat exhortation. sent17: the alliterator steers. sent18: something does not beat exhortation if that it is not virile and not prescription is not correct.
sent2 & sent6 -> int1: that the mizzen is not virile but it is nonprescription is not right.; sent18 -> int2: if that the mizzen is not virile and is nonprescription does not hold then it does not beat exhortation.; int1 & int2 -> int3: the mizzen does not beat exhortation.; int3 & sent13 -> int4: that the pentobarbital is a Bitis and it beats exhortation is not right.; int4 & sent3 -> hypothesis;
the fact that the Hebraist is a Centre is not wrong.
$hypothesis$ = the Hebraist is not a Centre. ; $context$ = sent1: if that something is not a Bitis but it does beat exhortation is wrong then it is not virile. sent2: if the fact that the mizzen is pessimistic hold then that it is not virile and is nonprescription is wrong. sent3: if the fact that the pentobarbital is a kind of a Bitis and beats exhortation is not correct then the Hebraist is not a Centre. sent4: if the fact that the mizzen is not a Centre is not correct the Hebraist is a Centre. sent5: that the Hebraist is a Centre and pessimistic does not hold. sent6: the mizzen is pessimistic. sent7: the pentobarbital does not snuffle maulstick if it is a kind of a Centre. sent8: if something is a Centre that it does not beat exhortation is correct. sent9: the defeatist is nonprescription. sent10: the Hebraist is not pessimistic. sent11: the fact that the mizzen is aromatic is incorrect if that it does not enjoy LLB and is a eponym does not hold. sent12: that the Hebraist is a Centre and a Bitis is incorrect if the pentobarbital is not a Bitis. sent13: if the mizzen does not beat exhortation then that the pentobarbital is a kind of a Bitis and does beat exhortation is not correct. sent14: if the mizzen is pessimistic that it is virile and is nonprescription does not hold. sent15: the fact that the Hebraist is not a kind of a Centre is not wrong if the pentobarbital is not a kind of a Bitis. sent16: if something is virile then it does not beat exhortation. sent17: the alliterator steers. sent18: something does not beat exhortation if that it is not virile and not prescription is not correct. ; $proof$ = 
sent2 & sent6 -> int1: that the mizzen is not virile but it is nonprescription is not right.; sent18 -> int2: if that the mizzen is not virile and is nonprescription does not hold then it does not beat exhortation.; int1 & int2 -> int3: the mizzen does not beat exhortation.; int3 & sent13 -> int4: that the pentobarbital is a Bitis and it beats exhortation is not right.; int4 & sent3 -> hypothesis; __PROVED__