the fact that the diptych is not a neuroblast and does award chimpanzee is false.
sent1: there is something such that it does power. sent2: the lunatic is not a kind of a power. sent3: if something is both a power and Slavonic then the diptych awards Ischia. sent4: the fact that something either is not a plume or is not a enflurane or both is false if that it is Slavonic is not false. sent5: the ethosuximide is not a enflurane. sent6: the diptych is not a neuroblast and does award chimpanzee if it awards Ischia. sent7: if the ethosuximide is not Slavonic the washtub is a kind of a power that is not Slavonic.
sent4 -> int1: that the ethosuximide is not a plume and/or it is not a enflurane does not hold if it is Slavonic.; void -> assump1: Let's assume that the ethosuximide is not non-Slavonic.; int1 & assump1 -> int2: the fact that either the ethosuximide is not a kind of a plume or it is not a enflurane or both is not true.; sent5 -> int3: the ethosuximide does not plume or it is not a enflurane or both.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the ethosuximide is not Slavonic.; int5 & sent7 -> int6: the washtub is a kind of a power that is Slavonic.; int6 -> int7: something does power and it is Slavonic.; int7 & sent3 -> int8: the diptych does award Ischia.; int8 & sent6 -> hypothesis;
$hypothesis$ = the fact that the diptych is not a neuroblast and does award chimpanzee is false. ; $context$ = sent1: there is something such that it does power. sent2: the lunatic is not a kind of a power. sent3: if something is both a power and Slavonic then the diptych awards Ischia. sent4: the fact that something either is not a plume or is not a enflurane or both is false if that it is Slavonic is not false. sent5: the ethosuximide is not a enflurane. sent6: the diptych is not a neuroblast and does award chimpanzee if it awards Ischia. sent7: if the ethosuximide is not Slavonic the washtub is a kind of a power that is not Slavonic. ; $proof$ = 
sent4 -> int1: that the ethosuximide is not a plume and/or it is not a enflurane does not hold if it is Slavonic.; void -> assump1: Let's assume that the ethosuximide is not non-Slavonic.; int1 & assump1 -> int2: the fact that either the ethosuximide is not a kind of a plume or it is not a enflurane or both is not true.; sent5 -> int3: the ethosuximide does not plume or it is not a enflurane or both.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the ethosuximide is not Slavonic.; int5 & sent7 -> int6: the washtub is a kind of a power that is Slavonic.; int6 -> int7: something does power and it is Slavonic.; int7 & sent3 -> int8: the diptych does award Ischia.; int8 & sent6 -> hypothesis; __DISPROVED__