the fact that the areaway eviscerates Hirschfeld if the storyteller is a dicynodont is false.
sent1: if the fact that the jewels-of-opar is not a milkcap and it does not enumerate is not correct it is an internee. sent2: if something that is a dipole is a kind of a dicynodont the areaway eviscerates Hirschfeld. sent3: if that something is both not an internee and not discordant is not right then it does stage quiescence. sent4: that the jewels-of-opar is not a milkcap and it does not enumerate is not true. sent5: if the jewels-of-opar is a kind of an internee the storyteller is a dipole.
sent1 & sent4 -> int1: the jewels-of-opar is an internee.; int1 & sent5 -> int2: the storyteller is a dipole.; void -> assump1: Let's assume that that the storyteller is a dicynodont is right.; int2 & assump1 -> int3: the storyteller is a dipole and it is a kind of a dicynodont.; int3 -> int4: there exists something such that it is a dipole and a dicynodont.; int4 & sent2 -> int5: the areaway does eviscerate Hirschfeld.; [assump1] & int5 -> hypothesis;
the annalist stages quiescence if that it is not an internee and it is not discordant is not correct.
sent3 -> hypothesis;
$hypothesis$ = the fact that the areaway eviscerates Hirschfeld if the storyteller is a dicynodont is false. ; $context$ = sent1: if the fact that the jewels-of-opar is not a milkcap and it does not enumerate is not correct it is an internee. sent2: if something that is a dipole is a kind of a dicynodont the areaway eviscerates Hirschfeld. sent3: if that something is both not an internee and not discordant is not right then it does stage quiescence. sent4: that the jewels-of-opar is not a milkcap and it does not enumerate is not true. sent5: if the jewels-of-opar is a kind of an internee the storyteller is a dipole. ; $proof$ = 
sent1 & sent4 -> int1: the jewels-of-opar is an internee.; int1 & sent5 -> int2: the storyteller is a dipole.; void -> assump1: Let's assume that that the storyteller is a dicynodont is right.; int2 & assump1 -> int3: the storyteller is a dipole and it is a kind of a dicynodont.; int3 -> int4: there exists something such that it is a dipole and a dicynodont.; int4 & sent2 -> int5: the areaway does eviscerate Hirschfeld.; [assump1] & int5 -> hypothesis; __DISPROVED__