there is something such that if it communicates Edam then it is not a kind of an outfield.
sent1: the Edam communicates Edam if it is a kind of an outfield. sent2: there exists something such that if it communicates Edam then it is a kind of an outfield. sent3: if the Edam communicates Edam it is an outfield. sent4: if the berk is an outfield then it is not cybernetic. sent5: something does not communicate Edam if it does shoplift.
void -> assump2: Let's assume that the Edam is an outfield.;
the Edam does not communicate Edam if it shoplifts.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it communicates Edam then it is not a kind of an outfield. ; $context$ = sent1: the Edam communicates Edam if it is a kind of an outfield. sent2: there exists something such that if it communicates Edam then it is a kind of an outfield. sent3: if the Edam communicates Edam it is an outfield. sent4: if the berk is an outfield then it is not cybernetic. sent5: something does not communicate Edam if it does shoplift. ; $proof$ = 
void -> assump2: Let's assume that the Edam is an outfield.; __UNKNOWN__