that the backpacker is both a dermatoglyphic and a Lamium does not hold.
sent1: the indene is a kind of a Passover and is a bagatelle. sent2: the sunrise is a Passover. sent3: the washhouse does single preemie and is not a Unitarian. sent4: if the sunrise is a kind of a Passover the manageress is locker-room. sent5: the fact that the washhouse is not a kind of a Passover if the sunrise is a whiting that is not paintable is not incorrect. sent6: the sunrise singles signpost if it is not a Plethodon. sent7: if the washhouse is not a mebibit and is not a Passover the backpacker singles signpost. sent8: the washhouse is nordic if it does single signpost. sent9: if the sunrise is locker-room the manageress is locker-room. sent10: the backpacker is a Lamium. sent11: the sunrise is not a Lamium. sent12: the sunrise is a kind of a mebibit. sent13: if that the backpacker singles signpost is right it is a dermatoglyphic. sent14: the backpacker is paintable if the sunrise does not single signpost and it is not a kind of a dermatoglyphic. sent15: the washhouse is not a kind of a mebibit. sent16: the sunrise is not a Plethodon. sent17: the backpacker patterns nakedwood. sent18: the sunrise is a kind of a whiting that is a kind of a mebibit. sent19: if that the sunrise is not a Plethodon is correct it is a whiting and is not paintable. sent20: the washhouse is a kind of a peritoneum. sent21: the baboon is not a Lamium and is not successful. sent22: the nakedwood is not a Passover. sent23: the washhouse is a kind of a Lamium. sent24: the papist is a Plethodon but it is not discernible if it does not single Pomoxis. sent25: the sunrise is whiting but it is not a kind of a dermatoglyphic. sent26: something is locker-room and/or it is a Passover if it is not a Lamium.
sent19 & sent16 -> int1: the sunrise is a whiting and is not paintable.; int1 & sent5 -> int2: the washhouse is not a Passover.; int2 & sent15 -> int3: the washhouse is both not a mebibit and not a Passover.; int3 & sent7 -> int4: the backpacker singles signpost.; int4 & sent13 -> int5: the backpacker is a kind of a dermatoglyphic.; int5 & sent10 -> hypothesis;
the manageress is locker-room and it is a kind of a mebibit.
sent26 -> int6: if the sunrise is not a kind of a Lamium then it is locker-room and/or is a Passover.; int6 & sent11 -> int7: the sunrise is locker-room or it is a Passover or both.; int7 & sent9 & sent4 -> int8: the manageress is locker-room.;
$hypothesis$ = that the backpacker is both a dermatoglyphic and a Lamium does not hold. ; $context$ = sent1: the indene is a kind of a Passover and is a bagatelle. sent2: the sunrise is a Passover. sent3: the washhouse does single preemie and is not a Unitarian. sent4: if the sunrise is a kind of a Passover the manageress is locker-room. sent5: the fact that the washhouse is not a kind of a Passover if the sunrise is a whiting that is not paintable is not incorrect. sent6: the sunrise singles signpost if it is not a Plethodon. sent7: if the washhouse is not a mebibit and is not a Passover the backpacker singles signpost. sent8: the washhouse is nordic if it does single signpost. sent9: if the sunrise is locker-room the manageress is locker-room. sent10: the backpacker is a Lamium. sent11: the sunrise is not a Lamium. sent12: the sunrise is a kind of a mebibit. sent13: if that the backpacker singles signpost is right it is a dermatoglyphic. sent14: the backpacker is paintable if the sunrise does not single signpost and it is not a kind of a dermatoglyphic. sent15: the washhouse is not a kind of a mebibit. sent16: the sunrise is not a Plethodon. sent17: the backpacker patterns nakedwood. sent18: the sunrise is a kind of a whiting that is a kind of a mebibit. sent19: if that the sunrise is not a Plethodon is correct it is a whiting and is not paintable. sent20: the washhouse is a kind of a peritoneum. sent21: the baboon is not a Lamium and is not successful. sent22: the nakedwood is not a Passover. sent23: the washhouse is a kind of a Lamium. sent24: the papist is a Plethodon but it is not discernible if it does not single Pomoxis. sent25: the sunrise is whiting but it is not a kind of a dermatoglyphic. sent26: something is locker-room and/or it is a Passover if it is not a Lamium. ; $proof$ = 
sent19 & sent16 -> int1: the sunrise is a whiting and is not paintable.; int1 & sent5 -> int2: the washhouse is not a Passover.; int2 & sent15 -> int3: the washhouse is both not a mebibit and not a Passover.; int3 & sent7 -> int4: the backpacker singles signpost.; int4 & sent13 -> int5: the backpacker is a kind of a dermatoglyphic.; int5 & sent10 -> hypothesis; __DISPROVED__