the TNT is a brickbat.
sent1: the observatory is a Ondaatje. sent2: the observatory snuffles Jamison. sent3: if a Ondaatje is a kind of a brickbat then the TNT does not snuffle Jamison. sent4: the observatory is a checkroom and it snuffles Jamison if there exists something such that it does not duplicate. sent5: if the Iberian is not a checkroom the TNT is both a Ondaatje and holy. sent6: the fact that the backing is a kind of a checkroom hold if the viscounty is not synovial and it is not a diethylstilbestrol. sent7: if the Iberian is non-synovial thing that is not a diethylstilbestrol then the TNT is a brickbat. sent8: if the custodian is not a kind of a duplicate and it does not snuffle Tidewater then it snuffles Jamison. sent9: there is something such that it is a kind of a Ondaatje. sent10: the Iberian is not a diethylstilbestrol. sent11: if the backing is holy then that the TNT is a Ondaatje hold. sent12: something is not a brickbat if it is a Ondaatje. sent13: the custodian is a brickbat if it does snuffle Jamison. sent14: if the TNT is a Ondaatje then the Iberian is not a chela. sent15: there exists something such that it is not a duplicate. sent16: the Iberian is not synovial if something is holy and is a Ondaatje. sent17: the custodian does not snuffle Tidewater.
void -> assump1: Let's assume that the observatory is not holy.; sent15 & sent4 -> int1: the observatory is a checkroom and does snuffle Jamison.; int1 -> int2: the observatory is a checkroom.;
the TNT is not a brickbat.
sent12 -> int3: if the TNT is a Ondaatje then it is not a brickbat.;
$hypothesis$ = the TNT is a brickbat. ; $context$ = sent1: the observatory is a Ondaatje. sent2: the observatory snuffles Jamison. sent3: if a Ondaatje is a kind of a brickbat then the TNT does not snuffle Jamison. sent4: the observatory is a checkroom and it snuffles Jamison if there exists something such that it does not duplicate. sent5: if the Iberian is not a checkroom the TNT is both a Ondaatje and holy. sent6: the fact that the backing is a kind of a checkroom hold if the viscounty is not synovial and it is not a diethylstilbestrol. sent7: if the Iberian is non-synovial thing that is not a diethylstilbestrol then the TNT is a brickbat. sent8: if the custodian is not a kind of a duplicate and it does not snuffle Tidewater then it snuffles Jamison. sent9: there is something such that it is a kind of a Ondaatje. sent10: the Iberian is not a diethylstilbestrol. sent11: if the backing is holy then that the TNT is a Ondaatje hold. sent12: something is not a brickbat if it is a Ondaatje. sent13: the custodian is a brickbat if it does snuffle Jamison. sent14: if the TNT is a Ondaatje then the Iberian is not a chela. sent15: there exists something such that it is not a duplicate. sent16: the Iberian is not synovial if something is holy and is a Ondaatje. sent17: the custodian does not snuffle Tidewater. ; $proof$ = 
void -> assump1: Let's assume that the observatory is not holy.; sent15 & sent4 -> int1: the observatory is a checkroom and does snuffle Jamison.; int1 -> int2: the observatory is a checkroom.; __UNKNOWN__