the design is a kind of an ordeal.
sent1: the design is not a kind of a crossjack if it is a tom. sent2: the design is a tom. sent3: something is an ordeal that is a trade-last if it is not a crossjack.
sent3 -> int1: if the design is not a crossjack it is both an ordeal and a trade-last.; sent1 & sent2 -> int2: the design is not a crossjack.; int1 & int2 -> int3: the design is an ordeal and it is a trade-last.; int3 -> hypothesis;
$hypothesis$ = the design is a kind of an ordeal. ; $context$ = sent1: the design is not a kind of a crossjack if it is a tom. sent2: the design is a tom. sent3: something is an ordeal that is a trade-last if it is not a crossjack. ; $proof$ = 
sent3 -> int1: if the design is not a crossjack it is both an ordeal and a trade-last.; sent1 & sent2 -> int2: the design is not a crossjack.; int1 & int2 -> int3: the design is an ordeal and it is a trade-last.; int3 -> hypothesis; __PROVED__