the handloom does not forage Carlyle but it is bedless.
sent1: the handloom does not forage Carlyle. sent2: the Panama is both not orthodontic and a Electrophorus. sent3: The Carlyle does not forage handloom. sent4: if the handloom is not bedless then it is not a kind of a native. sent5: the desert is canalicular but it is not a kind of a Nymphicus if the outfielder is not a Hindustani. sent6: the handloom is not starchless. sent7: the rheometer is a kind of a native. sent8: the cartoonist does not forage Carlyle. sent9: the handloom is not a kind of a Passifloraceae if it does not forage sophisticate. sent10: if that something is not a Baptists and it is not a kind of a Nymphicus does not hold the fact that it is a native is not incorrect. sent11: the catechist is not a kind of a Baptists if the desert is canalicular and not a Nymphicus. sent12: if the catechist heels sequence but it is not a native then the handloom does not heels sequence.
void -> assump1: Let's assume that the handloom is bedded.; sent4 & assump1 -> int1: the handloom is not a kind of a native.;
that the handloom does not forage Carlyle but it is bedless is incorrect.
sent10 -> int2: if that the catechist is not a Baptists and not a Nymphicus does not hold it is native.;
$hypothesis$ = the handloom does not forage Carlyle but it is bedless. ; $context$ = sent1: the handloom does not forage Carlyle. sent2: the Panama is both not orthodontic and a Electrophorus. sent3: The Carlyle does not forage handloom. sent4: if the handloom is not bedless then it is not a kind of a native. sent5: the desert is canalicular but it is not a kind of a Nymphicus if the outfielder is not a Hindustani. sent6: the handloom is not starchless. sent7: the rheometer is a kind of a native. sent8: the cartoonist does not forage Carlyle. sent9: the handloom is not a kind of a Passifloraceae if it does not forage sophisticate. sent10: if that something is not a Baptists and it is not a kind of a Nymphicus does not hold the fact that it is a native is not incorrect. sent11: the catechist is not a kind of a Baptists if the desert is canalicular and not a Nymphicus. sent12: if the catechist heels sequence but it is not a native then the handloom does not heels sequence. ; $proof$ = 
void -> assump1: Let's assume that the handloom is bedded.; sent4 & assump1 -> int1: the handloom is not a kind of a native.; __UNKNOWN__