the detainee is not sepulchral and is not large-capitalization.
sent1: if the abaya is not sepulchral then the trainee does not concretize brickbat. sent2: the trainee is not sepulchral if the abaya does concretize brickbat and/or is a kind of a policy. sent3: the abaya is non-carnivorous thing that is not a precipitate. sent4: the detainee is not sepulchral and it does not concretize brickbat. sent5: the detainee is not a kind of a policy if the abaya is large-capitalization. sent6: the abaya does concretize brickbat if the postern is Nazi. sent7: the abaya is sepulchral or is a kind of a policy or both. sent8: if the abaya concretizes brickbat and/or it is a Nazi the postern is not large-capitalization. sent9: if the trainee is not sepulchral the detainee is not sepulchral and is not large-capitalization. sent10: the postern is a Nazi. sent11: if the abaya is a Nazi then the postern does not concretize brickbat. sent12: the postern is a schooling. sent13: the postern is not sepulchral if the trainee does concretize brickbat and/or it is a kind of a Nazi. sent14: that the detainee is not sepulchral and it is not large-capitalization is wrong if it is not a Nazi. sent15: the abaya is not a Nazi and is not a kind of a policy. sent16: the Slovene is not large-capitalization. sent17: the wren does not judder and is not a kind of a policy.
sent6 & sent10 -> int1: the abaya does concretize brickbat.; int1 -> int2: the abaya concretizes brickbat and/or is a policy.; sent2 & int2 -> int3: the trainee is not sepulchral.; sent9 & int3 -> hypothesis;
the fact that the detainee is not sepulchral and not large-capitalization is false.
$hypothesis$ = the detainee is not sepulchral and is not large-capitalization. ; $context$ = sent1: if the abaya is not sepulchral then the trainee does not concretize brickbat. sent2: the trainee is not sepulchral if the abaya does concretize brickbat and/or is a kind of a policy. sent3: the abaya is non-carnivorous thing that is not a precipitate. sent4: the detainee is not sepulchral and it does not concretize brickbat. sent5: the detainee is not a kind of a policy if the abaya is large-capitalization. sent6: the abaya does concretize brickbat if the postern is Nazi. sent7: the abaya is sepulchral or is a kind of a policy or both. sent8: if the abaya concretizes brickbat and/or it is a Nazi the postern is not large-capitalization. sent9: if the trainee is not sepulchral the detainee is not sepulchral and is not large-capitalization. sent10: the postern is a Nazi. sent11: if the abaya is a Nazi then the postern does not concretize brickbat. sent12: the postern is a schooling. sent13: the postern is not sepulchral if the trainee does concretize brickbat and/or it is a kind of a Nazi. sent14: that the detainee is not sepulchral and it is not large-capitalization is wrong if it is not a Nazi. sent15: the abaya is not a Nazi and is not a kind of a policy. sent16: the Slovene is not large-capitalization. sent17: the wren does not judder and is not a kind of a policy. ; $proof$ = 
sent6 & sent10 -> int1: the abaya does concretize brickbat.; int1 -> int2: the abaya concretizes brickbat and/or is a policy.; sent2 & int2 -> int3: the trainee is not sepulchral.; sent9 & int3 -> hypothesis; __PROVED__