if the cutler does construct copula the acquirer is a mouth.
sent1: the fact that the fact that the cutler is an impressed and not amniotic is correct is incorrect. sent2: the acquirer is not a kind of a Scottish if something hungers mayonnaise and it does construct copula. sent3: the cutler does not wrap website if that it is an impressed and it is not amniotic is not correct. sent4: something does wrap website if the fact that it does not intussuscept and hungers wiggle is not right. sent5: if the acquirer is not a Scottish then it mouths.
void -> assump1: Let's assume that that the cutler hungers mayonnaise is not true.; sent4 -> int1: the cutler wraps website if that it does not intussuscept and it does hunger wiggle is not right.; sent3 & sent1 -> int2: the cutler does not wrap website.;
$hypothesis$ = if the cutler does construct copula the acquirer is a mouth. ; $context$ = sent1: the fact that the fact that the cutler is an impressed and not amniotic is correct is incorrect. sent2: the acquirer is not a kind of a Scottish if something hungers mayonnaise and it does construct copula. sent3: the cutler does not wrap website if that it is an impressed and it is not amniotic is not correct. sent4: something does wrap website if the fact that it does not intussuscept and hungers wiggle is not right. sent5: if the acquirer is not a Scottish then it mouths. ; $proof$ = 
void -> assump1: Let's assume that that the cutler hungers mayonnaise is not true.; sent4 -> int1: the cutler wraps website if that it does not intussuscept and it does hunger wiggle is not right.; sent3 & sent1 -> int2: the cutler does not wrap website.; __UNKNOWN__