the angel ridicules Cornwall.
sent1: that if the washout is not riparian then the washout is cereal and does not sideline hibernation is not incorrect. sent2: if the washout confines Vichy the fact that the angel does not contemn Chaplin is not correct. sent3: something ridicules Arisaema if it is cereal thing that does not sideline hibernation. sent4: something does ridicule Cornwall if it contemns Chaplin. sent5: the washout is urethral. sent6: if the washout is urethral that it does ridicule Arisaema and does not contemn controllership does not hold. sent7: if the washout is riparian then it confines Vichy.
void -> assump1: Let's assume that the washout is not riparian.; sent1 & assump1 -> int1: the washout is a kind of a cereal but it does not sideline hibernation.; sent3 -> int2: if the washout is a kind of cereal thing that does not sideline hibernation it does ridicule Arisaema.; int1 & int2 -> int3: the washout does ridicule Arisaema.; sent6 & sent5 -> int4: that the washout ridicules Arisaema but it does not contemn controllership is false.; sent4 -> int5: if the fact that the angel does contemn Chaplin is correct it ridicules Cornwall.;
$hypothesis$ = the angel ridicules Cornwall. ; $context$ = sent1: that if the washout is not riparian then the washout is cereal and does not sideline hibernation is not incorrect. sent2: if the washout confines Vichy the fact that the angel does not contemn Chaplin is not correct. sent3: something ridicules Arisaema if it is cereal thing that does not sideline hibernation. sent4: something does ridicule Cornwall if it contemns Chaplin. sent5: the washout is urethral. sent6: if the washout is urethral that it does ridicule Arisaema and does not contemn controllership does not hold. sent7: if the washout is riparian then it confines Vichy. ; $proof$ = 
void -> assump1: Let's assume that the washout is not riparian.; sent1 & assump1 -> int1: the washout is a kind of a cereal but it does not sideline hibernation.; sent3 -> int2: if the washout is a kind of cereal thing that does not sideline hibernation it does ridicule Arisaema.; int1 & int2 -> int3: the washout does ridicule Arisaema.; sent6 & sent5 -> int4: that the washout ridicules Arisaema but it does not contemn controllership is false.; sent4 -> int5: if the fact that the angel does contemn Chaplin is correct it ridicules Cornwall.; __UNKNOWN__