the threat credits boothose.
sent1: there is something such that it is a kind of a hertz. sent2: the threat does credit boothose if the saurischian does depressurize saurischian. sent3: if the subnormal is not frivolous and it does not enter reliquary then the sequencer is a Blackshirt. sent4: the subnormal is not frivolous. sent5: the subnormal is a kind of non-frivolous thing that does not enter reliquary if the racehorse enters millerite. sent6: everything does not credit subnormal and is a hertz. sent7: if something is a Blackshirt it is a kind of a seaward. sent8: if the sequencer is seaward then the saurischian depressurizes saurischian. sent9: if the subnormal is frivolous but it does not enter reliquary the sequencer is a Blackshirt. sent10: the racehorse enters reliquary. sent11: the reliquary does not credit subnormal. sent12: the subnormal is not frivolous if the racehorse enters millerite. sent13: something does not depressurize saurischian and is a hertz.
sent6 -> int1: the reliquary does not credit subnormal but it is a kind of a hertz.; int1 -> int2: something does not credit subnormal and is a hertz.; sent7 -> int3: the sequencer is a seaward if it is a kind of a Blackshirt.;
$hypothesis$ = the threat credits boothose. ; $context$ = sent1: there is something such that it is a kind of a hertz. sent2: the threat does credit boothose if the saurischian does depressurize saurischian. sent3: if the subnormal is not frivolous and it does not enter reliquary then the sequencer is a Blackshirt. sent4: the subnormal is not frivolous. sent5: the subnormal is a kind of non-frivolous thing that does not enter reliquary if the racehorse enters millerite. sent6: everything does not credit subnormal and is a hertz. sent7: if something is a Blackshirt it is a kind of a seaward. sent8: if the sequencer is seaward then the saurischian depressurizes saurischian. sent9: if the subnormal is frivolous but it does not enter reliquary the sequencer is a Blackshirt. sent10: the racehorse enters reliquary. sent11: the reliquary does not credit subnormal. sent12: the subnormal is not frivolous if the racehorse enters millerite. sent13: something does not depressurize saurischian and is a hertz. ; $proof$ = 
sent6 -> int1: the reliquary does not credit subnormal but it is a kind of a hertz.; int1 -> int2: something does not credit subnormal and is a hertz.; sent7 -> int3: the sequencer is a seaward if it is a kind of a Blackshirt.; __UNKNOWN__