the fact that the fact that the Nestorian is a precipitation or it is psychogenetic or both is incorrect hold.
sent1: if the Nestorian is not a precipitation the fact that it does not assail and is not a kind of a brassie does not hold. sent2: if something is not a Victoriana then the Nestorian does not assail and is not a brassie. sent3: something that is not joyless is either unlikely or instructional or both. sent4: something is not a Victoriana. sent5: there exists something such that it is a kind of a Victoriana. sent6: the Nestorian is not seismological and it is not a busbar. sent7: if something is not a kind of a Victoriana that it is a precipitation and/or is psychogenetic is not true.
void -> assump1: Let's assume that the Nestorian is not a precipitation.; sent1 & assump1 -> int1: that the Nestorian does not assail and it is not a brassie is not true.; sent4 & sent2 -> int2: the Nestorian does not assail and it is not a brassie.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Nestorian is a precipitation.; int4 -> hypothesis;
that the Nestorian is a precipitation and/or it is psychogenetic does not hold.
sent7 -> int5: if the Nestorian is not a Victoriana the fact that it either is a precipitation or is psychogenetic or both is not true.; sent3 -> int6: if the dexamethasone is not joyless then it is either unlikely or instructional or both.;
$hypothesis$ = the fact that the fact that the Nestorian is a precipitation or it is psychogenetic or both is incorrect hold. ; $context$ = sent1: if the Nestorian is not a precipitation the fact that it does not assail and is not a kind of a brassie does not hold. sent2: if something is not a Victoriana then the Nestorian does not assail and is not a brassie. sent3: something that is not joyless is either unlikely or instructional or both. sent4: something is not a Victoriana. sent5: there exists something such that it is a kind of a Victoriana. sent6: the Nestorian is not seismological and it is not a busbar. sent7: if something is not a kind of a Victoriana that it is a precipitation and/or is psychogenetic is not true. ; $proof$ = 
void -> assump1: Let's assume that the Nestorian is not a precipitation.; sent1 & assump1 -> int1: that the Nestorian does not assail and it is not a brassie is not true.; sent4 & sent2 -> int2: the Nestorian does not assail and it is not a brassie.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Nestorian is a precipitation.; int4 -> hypothesis; __DISPROVED__