the subnormal is tuberculate.
sent1: the subnormal is tuberculate if the posseman does list. sent2: the fact that the apparatchik does not elaborate but it touts toastrack is not true. sent3: if something is not a Ascophyllum then it does not elaborate and it does tout toastrack.
sent3 -> int1: if the apparatchik is not a Ascophyllum then it does not elaborate and does tout toastrack.; void -> assump1: Let's assume that the apparatchik is not a kind of a Ascophyllum.; int1 & assump1 -> int2: the apparatchik does not elaborate but it does tout toastrack.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the apparatchik is a Ascophyllum is right.;
$hypothesis$ = the subnormal is tuberculate. ; $context$ = sent1: the subnormal is tuberculate if the posseman does list. sent2: the fact that the apparatchik does not elaborate but it touts toastrack is not true. sent3: if something is not a Ascophyllum then it does not elaborate and it does tout toastrack. ; $proof$ = 
sent3 -> int1: if the apparatchik is not a Ascophyllum then it does not elaborate and does tout toastrack.; void -> assump1: Let's assume that the apparatchik is not a kind of a Ascophyllum.; int1 & assump1 -> int2: the apparatchik does not elaborate but it does tout toastrack.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the apparatchik is a Ascophyllum is right.; __UNKNOWN__