that there exists something such that if the fact that it is a kind of aoristic thing that does not evict shaven is not right then it is a kind of a Falange is wrong.
sent1: there is something such that if it is not Abkhaz then it is a kind of a dispensation. sent2: there exists something such that if it is fashionable and does not shaft leucothoe it is lithographic. sent3: there is something such that if the fact that it does transitivize and it does not evict paralytic is wrong then it is a kind of a quartervine. sent4: the leucothoe is a kind of a Falange if the fact that it is not non-aoristic and it does not evict shaven does not hold. sent5: the leucothoe is ecclesiastical if that it is phocine and does not perpetuate midiron does not hold.
sent4 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is a kind of aoristic thing that does not evict shaven is not right then it is a kind of a Falange is wrong. ; $context$ = sent1: there is something such that if it is not Abkhaz then it is a kind of a dispensation. sent2: there exists something such that if it is fashionable and does not shaft leucothoe it is lithographic. sent3: there is something such that if the fact that it does transitivize and it does not evict paralytic is wrong then it is a kind of a quartervine. sent4: the leucothoe is a kind of a Falange if the fact that it is not non-aoristic and it does not evict shaven does not hold. sent5: the leucothoe is ecclesiastical if that it is phocine and does not perpetuate midiron does not hold. ; $proof$ = 
sent4 -> hypothesis; __DISPROVED__