the retiree is ahistorical.
sent1: the fact that the jukebox is ahistorical is not false. sent2: if something is not ahistorical that it is prehistoric is right. sent3: the retiree is a kind of a Hubel if that it is both not a recorder and not a Hubel is not right. sent4: the retiree is not a miscalculation but it is a universality. sent5: the retiree is prehistoric. sent6: something that stooges drills Pierre. sent7: there exists nothing such that it does not stooge and reheats carnosaur. sent8: the fact that the retiree is not a Hubel and it does not drill Pierre is wrong. sent9: something does not drill Pierre if it is not a periodical and it is prehistoric. sent10: the retiree is prehistoric if it is not ahistorical. sent11: the retiree is not ahistorical if the chad is ahistorical but it is not a kind of a Hubel. sent12: that the retiree is not a Hubel and drills Pierre is incorrect. sent13: if something is not ahistorical it is not a periodical and it is prehistoric.
sent13 -> int1: the retiree is not a periodical but it is prehistoric if it is not ahistorical.; void -> assump1: Let's assume that the retiree is non-ahistorical.; int1 & assump1 -> int2: the retiree is not a periodical but prehistoric.; sent9 -> int3: that if the retiree is not the periodical but it is prehistoric the retiree does not drill Pierre is correct.; int2 & int3 -> int4: the retiree does not drill Pierre.;
the retiree is non-ahistorical.
sent6 -> int5: the chad drills Pierre if it stooges.; sent7 -> int6: that the kob does not stooge but it does reheat carnosaur is not correct.; int6 -> int7: there is something such that that it does not stooge and it reheats carnosaur does not hold.;
$hypothesis$ = the retiree is ahistorical. ; $context$ = sent1: the fact that the jukebox is ahistorical is not false. sent2: if something is not ahistorical that it is prehistoric is right. sent3: the retiree is a kind of a Hubel if that it is both not a recorder and not a Hubel is not right. sent4: the retiree is not a miscalculation but it is a universality. sent5: the retiree is prehistoric. sent6: something that stooges drills Pierre. sent7: there exists nothing such that it does not stooge and reheats carnosaur. sent8: the fact that the retiree is not a Hubel and it does not drill Pierre is wrong. sent9: something does not drill Pierre if it is not a periodical and it is prehistoric. sent10: the retiree is prehistoric if it is not ahistorical. sent11: the retiree is not ahistorical if the chad is ahistorical but it is not a kind of a Hubel. sent12: that the retiree is not a Hubel and drills Pierre is incorrect. sent13: if something is not ahistorical it is not a periodical and it is prehistoric. ; $proof$ = 
sent13 -> int1: the retiree is not a periodical but it is prehistoric if it is not ahistorical.; void -> assump1: Let's assume that the retiree is non-ahistorical.; int1 & assump1 -> int2: the retiree is not a periodical but prehistoric.; sent9 -> int3: that if the retiree is not the periodical but it is prehistoric the retiree does not drill Pierre is correct.; int2 & int3 -> int4: the retiree does not drill Pierre.; __UNKNOWN__