the resolution cords and/or it outshouts sleeve if the modifier is not a kind of an ethylene.
sent1: the resolution is a cordoba if the fact that the gerontologist is not foolish and it is not a gingiva is not true. sent2: that the gerontologist is not foolish and it is not a gingiva does not hold if the modifier is not a kind of an ethylene.
void -> assump1: Let's assume that the fact that the modifier is not an ethylene hold.; sent2 & assump1 -> int1: that the gerontologist is not foolish and does not gin does not hold.; int1 & sent1 -> int2: the resolution is a kind of a cordoba.; int2 -> int3: the resolution does cord and/or outshouts sleeve.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the resolution cords and/or it outshouts sleeve if the modifier is not a kind of an ethylene. ; $context$ = sent1: the resolution is a cordoba if the fact that the gerontologist is not foolish and it is not a gingiva is not true. sent2: that the gerontologist is not foolish and it is not a gingiva does not hold if the modifier is not a kind of an ethylene. ; $proof$ = 
void -> assump1: Let's assume that the fact that the modifier is not an ethylene hold.; sent2 & assump1 -> int1: that the gerontologist is not foolish and does not gin does not hold.; int1 & sent1 -> int2: the resolution is a kind of a cordoba.; int2 -> int3: the resolution does cord and/or outshouts sleeve.; [assump1] & int3 -> hypothesis; __PROVED__