something is not a pitchman.
sent1: the tollgate does snow Arcadic. sent2: if the ligand is strange then it is not a kind of a tenderness. sent3: the slop does not federalize fringe and does not encircle electrocutioner. sent4: the ligand is not strange. sent5: if something that is improper snows Arcadic then it is not a kind of a pitchman. sent6: the tollgate is improper if the ligand is an imperialism and not strange. sent7: The Arcadic does snow tollgate. sent8: something is not a undernourishment and does snow Uropsilus if it does not exhaust. sent9: if that the ligand is an imperialism but it is not strange does not hold it is not a kind of a tenderness. sent10: the fact that something is not a undernourishment and does snow Uropsilus is incorrect if it is not a tenderness.
void -> assump1: Let's assume that the fact that the ligand is a kind of an imperialism but it is not strange is false.; sent9 & assump1 -> int1: the ligand is not a tenderness.; sent10 -> int2: if the ligand is not a tenderness the fact that it is not a undernourishment and it does snow Uropsilus is wrong.; int1 & int2 -> int3: the fact that the fact that the ligand is not a kind of a undernourishment but it does snow Uropsilus is incorrect is not wrong.; sent8 -> int4: the ligand is not a undernourishment but it does snow Uropsilus if it is not an exhaust.; sent5 -> int5: the tollgate is not a pitchman if it is improper thing that does snow Arcadic.;
$hypothesis$ = something is not a pitchman. ; $context$ = sent1: the tollgate does snow Arcadic. sent2: if the ligand is strange then it is not a kind of a tenderness. sent3: the slop does not federalize fringe and does not encircle electrocutioner. sent4: the ligand is not strange. sent5: if something that is improper snows Arcadic then it is not a kind of a pitchman. sent6: the tollgate is improper if the ligand is an imperialism and not strange. sent7: The Arcadic does snow tollgate. sent8: something is not a undernourishment and does snow Uropsilus if it does not exhaust. sent9: if that the ligand is an imperialism but it is not strange does not hold it is not a kind of a tenderness. sent10: the fact that something is not a undernourishment and does snow Uropsilus is incorrect if it is not a tenderness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the ligand is a kind of an imperialism but it is not strange is false.; sent9 & assump1 -> int1: the ligand is not a tenderness.; sent10 -> int2: if the ligand is not a tenderness the fact that it is not a undernourishment and it does snow Uropsilus is wrong.; int1 & int2 -> int3: the fact that the fact that the ligand is not a kind of a undernourishment but it does snow Uropsilus is incorrect is not wrong.; sent8 -> int4: the ligand is not a undernourishment but it does snow Uropsilus if it is not an exhaust.; sent5 -> int5: the tollgate is not a pitchman if it is improper thing that does snow Arcadic.; __UNKNOWN__