the egret is not causative.
sent1: there exists something such that it is not a Pindar and is not Moravian. sent2: the cephalosporin is not existent. sent3: something does not sidle Riksmal and it is not nonexistent. sent4: something is causative but it does not sidle Riksmal. sent5: the cephalosporin is not nonexistent if it sidles expansion and/or it does sidle Riksmal. sent6: if something that does not automobile does not sidle expansion then the egret is not causative.
void -> assump1: Let's assume that the cephalosporin sidles expansion.; assump1 -> int1: the cephalosporin does sidle expansion or it sidles Riksmal or both.; int1 & sent5 -> int2: the cephalosporin is not nonexistent.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cephalosporin does not sidle expansion.;
$hypothesis$ = the egret is not causative. ; $context$ = sent1: there exists something such that it is not a Pindar and is not Moravian. sent2: the cephalosporin is not existent. sent3: something does not sidle Riksmal and it is not nonexistent. sent4: something is causative but it does not sidle Riksmal. sent5: the cephalosporin is not nonexistent if it sidles expansion and/or it does sidle Riksmal. sent6: if something that does not automobile does not sidle expansion then the egret is not causative. ; $proof$ = 
void -> assump1: Let's assume that the cephalosporin sidles expansion.; assump1 -> int1: the cephalosporin does sidle expansion or it sidles Riksmal or both.; int1 & sent5 -> int2: the cephalosporin is not nonexistent.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cephalosporin does not sidle expansion.; __UNKNOWN__