the butch reports embargo.
sent1: the sealskin is a Senegalese. sent2: there is something such that it is Senegalese. sent3: if something that does strum is Senegalese the fact that the butch does report embargo is not incorrect. sent4: if something does not report Richmond it does not report embargo. sent5: something is a strum and it reports Richmond. sent6: The Richmond reports copyholder. sent7: there exists something such that it does report embargo. sent8: the cockade strums if there exists something such that the fact that it is not non-crustose and not a strums is wrong. sent9: the copyholder is Senegalese. sent10: the fact that the doghouse is crustose and does not strum is wrong if the sealskin is a Senegalese. sent11: the copyholder does not garden. sent12: there is something such that the fact that it is a strum is not false. sent13: if the copyholder reports Richmond and is not a kind of a garden it does strum. sent14: the copyholder is Spanish but it does not negotiate bacteriophage. sent15: the butch is not a Senegalese.
the butch does not report embargo.
sent4 -> int1: if the butch does not report Richmond then the fact that it does not report embargo is not wrong.; sent10 & sent1 -> int2: that the doghouse is crustose thing that is not a kind of a strum is false.; int2 -> int3: there is something such that the fact that it is crustose and not a strum is not true.; int3 & sent8 -> int4: the cockade strums.; int4 -> int5: there exists something such that it is a strum.;
$hypothesis$ = the butch reports embargo. ; $context$ = sent1: the sealskin is a Senegalese. sent2: there is something such that it is Senegalese. sent3: if something that does strum is Senegalese the fact that the butch does report embargo is not incorrect. sent4: if something does not report Richmond it does not report embargo. sent5: something is a strum and it reports Richmond. sent6: The Richmond reports copyholder. sent7: there exists something such that it does report embargo. sent8: the cockade strums if there exists something such that the fact that it is not non-crustose and not a strums is wrong. sent9: the copyholder is Senegalese. sent10: the fact that the doghouse is crustose and does not strum is wrong if the sealskin is a Senegalese. sent11: the copyholder does not garden. sent12: there is something such that the fact that it is a strum is not false. sent13: if the copyholder reports Richmond and is not a kind of a garden it does strum. sent14: the copyholder is Spanish but it does not negotiate bacteriophage. sent15: the butch is not a Senegalese. ; $proof$ = 
__UNKNOWN__