the tripling does not suborn meteorite but it is a A-bomb.
sent1: there exists something such that that it is a kind of a contrarian hold. sent2: if the syconium is unborn but it does not fetter railing then the fact that the tripling is immunotherapeutic hold. sent3: if something lobs framing then it is medieval. sent4: the tripling is not medieval if there is something such that it is not a contrarian. sent5: if something is unborn then it is immunotherapeutic. sent6: if the syconium is unborn and it fetters railing then the tripling is immunotherapeutic. sent7: if the syconium is medieval then the fact that the tripling does not suborn meteorite and is a kind of a A-bomb is not true. sent8: something is not a contrarian. sent9: the syconium is unborn but it does not fetter railing. sent10: something is a A-bomb if it is immunotherapeutic.
sent8 & sent4 -> int1: the tripling is not medieval.; sent10 -> int2: the tripling is a A-bomb if it is immunotherapeutic.; sent2 & sent9 -> int3: the fact that the tripling is immunotherapeutic hold.; int2 & int3 -> int4: the tripling is a A-bomb.;
if the tripling does lob framing then it is medieval.
sent3 -> hypothesis;
$hypothesis$ = the tripling does not suborn meteorite but it is a A-bomb. ; $context$ = sent1: there exists something such that that it is a kind of a contrarian hold. sent2: if the syconium is unborn but it does not fetter railing then the fact that the tripling is immunotherapeutic hold. sent3: if something lobs framing then it is medieval. sent4: the tripling is not medieval if there is something such that it is not a contrarian. sent5: if something is unborn then it is immunotherapeutic. sent6: if the syconium is unborn and it fetters railing then the tripling is immunotherapeutic. sent7: if the syconium is medieval then the fact that the tripling does not suborn meteorite and is a kind of a A-bomb is not true. sent8: something is not a contrarian. sent9: the syconium is unborn but it does not fetter railing. sent10: something is a A-bomb if it is immunotherapeutic. ; $proof$ = 
sent8 & sent4 -> int1: the tripling is not medieval.; sent10 -> int2: the tripling is a A-bomb if it is immunotherapeutic.; sent2 & sent9 -> int3: the fact that the tripling is immunotherapeutic hold.; int2 & int3 -> int4: the tripling is a A-bomb.; __UNKNOWN__