the fact that there is something such that if it is not a Egyptian it is a kind of a parakeet and it does permit Doliolidae is not right.
sent1: the toilet is a kind of a parakeet and it does permit Doliolidae if it is not a Egyptian. sent2: there is something such that if it is non-Egyptian then it is a parakeet. sent3: there exists something such that if the fact that it is Egyptian is true it is a parakeet that does permit Doliolidae. sent4: the toilet does permit Doliolidae if it is not a kind of a Egyptian.
sent1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not a Egyptian it is a kind of a parakeet and it does permit Doliolidae is not right. ; $context$ = sent1: the toilet is a kind of a parakeet and it does permit Doliolidae if it is not a Egyptian. sent2: there is something such that if it is non-Egyptian then it is a parakeet. sent3: there exists something such that if the fact that it is Egyptian is true it is a parakeet that does permit Doliolidae. sent4: the toilet does permit Doliolidae if it is not a kind of a Egyptian. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__