the frost does assume.
sent1: that the thioridazine is Episcopal hold. sent2: The sportsmanship winnows goatskin. sent3: if the goatskin is autologous and it is a kind of an extradition then it is not Episcopal. sent4: a non-autologous thing that winnows sportsmanship is not a Solomon's-seal. sent5: if something is both a incisure and not a Solomon's-seal it assumes. sent6: if the goatskin is not a Solomon's-seal the frost is a incisure and is not a Solomon's-seal. sent7: the goatskin winnows sportsmanship. sent8: everything is a kind of a piste and it is Episcopal.
void -> assump1: Let's assume that the goatskin is autologous.; sent8 -> int1: the goatskin is a piste and is Episcopal.; int1 -> int2: the goatskin is Episcopal.; sent4 -> int3: the goatskin is not a Solomon's-seal if it is not autologous and does winnow sportsmanship.; sent5 -> int4: the frost does assume if it is a incisure and is not a Solomon's-seal.;
$hypothesis$ = the frost does assume. ; $context$ = sent1: that the thioridazine is Episcopal hold. sent2: The sportsmanship winnows goatskin. sent3: if the goatskin is autologous and it is a kind of an extradition then it is not Episcopal. sent4: a non-autologous thing that winnows sportsmanship is not a Solomon's-seal. sent5: if something is both a incisure and not a Solomon's-seal it assumes. sent6: if the goatskin is not a Solomon's-seal the frost is a incisure and is not a Solomon's-seal. sent7: the goatskin winnows sportsmanship. sent8: everything is a kind of a piste and it is Episcopal. ; $proof$ = 
void -> assump1: Let's assume that the goatskin is autologous.; sent8 -> int1: the goatskin is a piste and is Episcopal.; int1 -> int2: the goatskin is Episcopal.; sent4 -> int3: the goatskin is not a Solomon's-seal if it is not autologous and does winnow sportsmanship.; sent5 -> int4: the frost does assume if it is a incisure and is not a Solomon's-seal.; __UNKNOWN__