the dumps is not a kind of a philadelphus.
sent1: the fact that the arsine either is not ornithological or is not expiatory or both does not hold if the dumps is a philadelphus. sent2: the arsine is not ornithological. sent3: the dumps is non-expiatory. sent4: if the concealment is not coreferential then the arsine is a autacoid and a novelty. sent5: the arsine is coreferential and dermal. sent6: the dumps is coreferential if the arsine is coreferential. sent7: if the dumps is coreferential and is a kind of a autacoid then the schnitzel is not a kind of a autacoid. sent8: the concealment is not coreferential if the plexor is coreferential. sent9: if something is a philadelphus or it is not a autacoid or both then it is not a chaja.
void -> assump1: Let's assume that the dumps is a kind of a philadelphus.; sent1 & assump1 -> int1: that the arsine is not ornithological and/or it is not expiatory is false.; sent2 -> int2: the arsine is not ornithological or is not expiatory or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the schnitzel is not a chaja and/or it is non-Rousseauan.
sent9 -> int4: the schnitzel is not a chaja if that it is a philadelphus or is not a autacoid or both is not false.; sent5 -> int5: the arsine is coreferential.; sent6 & int5 -> int6: the dumps is coreferential.;
$hypothesis$ = the dumps is not a kind of a philadelphus. ; $context$ = sent1: the fact that the arsine either is not ornithological or is not expiatory or both does not hold if the dumps is a philadelphus. sent2: the arsine is not ornithological. sent3: the dumps is non-expiatory. sent4: if the concealment is not coreferential then the arsine is a autacoid and a novelty. sent5: the arsine is coreferential and dermal. sent6: the dumps is coreferential if the arsine is coreferential. sent7: if the dumps is coreferential and is a kind of a autacoid then the schnitzel is not a kind of a autacoid. sent8: the concealment is not coreferential if the plexor is coreferential. sent9: if something is a philadelphus or it is not a autacoid or both then it is not a chaja. ; $proof$ = 
void -> assump1: Let's assume that the dumps is a kind of a philadelphus.; sent1 & assump1 -> int1: that the arsine is not ornithological and/or it is not expiatory is false.; sent2 -> int2: the arsine is not ornithological or is not expiatory or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__