the Klansman is unforgettable.
sent1: if something is not a Zomba the fact that it is a kind of bloodless a Burundi does not hold. sent2: if the filer is not bloodless then the fact that it is Burundi hold. sent3: the Klansman is not a separate and is a kind of a semi-abstraction if the filer is not a semi-abstraction. sent4: that the filer is a kind of a Zomba is not false if it is a Burundi. sent5: if something is non-separate thing that is a kind of a semi-abstraction it is not unforgettable. sent6: the filer is not bloodless. sent7: the provitamin is a kind of a sawtooth. sent8: if the filer is a Zomba and it is a sawtooth then it is not a semi-abstraction. sent9: something is a sawtooth if it does falsify Klansman and/or does not tolerate. sent10: if the filer is not a semi-abstraction the Klansman is not separate. sent11: the Klansman does not tolerate if the filer does not tolerate. sent12: the provitamin is both a semi-abstraction and not unforgettable. sent13: the filer does falsify Klansman and/or it does not tolerate.
sent2 & sent6 -> int1: the filer is a kind of a Burundi.; int1 & sent4 -> int2: the filer is a Zomba.; sent9 -> int3: if either the filer falsifies Klansman or it does not tolerate or both then it is a sawtooth.; int3 & sent13 -> int4: the filer is a sawtooth.; int2 & int4 -> int5: the filer is a kind of a Zomba and it is a sawtooth.; int5 & sent8 -> int6: the filer is not a semi-abstraction.; int6 & sent3 -> int7: the Klansman is both not a separate and a semi-abstraction.; sent5 -> int8: the Klansman is not unforgettable if it is a kind of non-separate thing that is a kind of a semi-abstraction.; int7 & int8 -> hypothesis;
the Klansman does not tolerate.
sent1 -> int9: if the chess is not a Zomba then that it is bloodless thing that is a kind of a Burundi is not right.; sent12 -> int10: the provitamin is a kind of a semi-abstraction.; sent7 & int10 -> int11: the fact that the provitamin is a sawtooth that is a semi-abstraction hold.; int11 -> int12: something is both a sawtooth and a semi-abstraction.;
$hypothesis$ = the Klansman is unforgettable. ; $context$ = sent1: if something is not a Zomba the fact that it is a kind of bloodless a Burundi does not hold. sent2: if the filer is not bloodless then the fact that it is Burundi hold. sent3: the Klansman is not a separate and is a kind of a semi-abstraction if the filer is not a semi-abstraction. sent4: that the filer is a kind of a Zomba is not false if it is a Burundi. sent5: if something is non-separate thing that is a kind of a semi-abstraction it is not unforgettable. sent6: the filer is not bloodless. sent7: the provitamin is a kind of a sawtooth. sent8: if the filer is a Zomba and it is a sawtooth then it is not a semi-abstraction. sent9: something is a sawtooth if it does falsify Klansman and/or does not tolerate. sent10: if the filer is not a semi-abstraction the Klansman is not separate. sent11: the Klansman does not tolerate if the filer does not tolerate. sent12: the provitamin is both a semi-abstraction and not unforgettable. sent13: the filer does falsify Klansman and/or it does not tolerate. ; $proof$ = 
sent2 & sent6 -> int1: the filer is a kind of a Burundi.; int1 & sent4 -> int2: the filer is a Zomba.; sent9 -> int3: if either the filer falsifies Klansman or it does not tolerate or both then it is a sawtooth.; int3 & sent13 -> int4: the filer is a sawtooth.; int2 & int4 -> int5: the filer is a kind of a Zomba and it is a sawtooth.; int5 & sent8 -> int6: the filer is not a semi-abstraction.; int6 & sent3 -> int7: the Klansman is both not a separate and a semi-abstraction.; sent5 -> int8: the Klansman is not unforgettable if it is a kind of non-separate thing that is a kind of a semi-abstraction.; int7 & int8 -> hypothesis; __DISPROVED__