the fact that the effigy does capsule Hollerith but it does not ramify if the fact that the pheasant's-eye is a pleonasm is right does not hold.
sent1: the pheasant's-eye is not a reprobation if the effigy ramifies. sent2: if the fact that something ramifies and/or does not capsule Hollerith is not true it is not annexational. sent3: if that something is a reprobation and/or it is not offing is not right it is not a pleonasm. sent4: that the effigy is not a pleonasm but it does ramify does not hold if the pheasant's-eye does not capsule Hollerith. sent5: if the fact that the effigy is not a pleonasm but it ramifies does not hold then the airframe does not ramifies. sent6: if the effigy ramifies that either the pheasant's-eye is a reprobation or it is not offing or both is wrong. sent7: the effigy is annexational. sent8: the effigy does capsule Hollerith and is not non-annexational.
void -> assump2: Let's assume that the effigy ramifies.; sent6 & assump2 -> int1: the fact that the pheasant's-eye is a reprobation or it is not offing or both does not hold.; sent3 -> int2: the pheasant's-eye is not a pleonasm if that it is a reprobation and/or it is not offing is not right.; int1 & int2 -> int3: the pheasant's-eye is not a pleonasm.; void -> assump1: Let's assume that the fact that the pheasant's-eye is a kind of a pleonasm hold.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the effigy does not ramify.; sent8 -> int6: the effigy does capsule Hollerith.; int5 & int6 -> int7: the effigy capsules Hollerith but it does not ramify.; [assump1] & int7 -> hypothesis;
that the airframe does not ramify hold.
$hypothesis$ = the fact that the effigy does capsule Hollerith but it does not ramify if the fact that the pheasant's-eye is a pleonasm is right does not hold. ; $context$ = sent1: the pheasant's-eye is not a reprobation if the effigy ramifies. sent2: if the fact that something ramifies and/or does not capsule Hollerith is not true it is not annexational. sent3: if that something is a reprobation and/or it is not offing is not right it is not a pleonasm. sent4: that the effigy is not a pleonasm but it does ramify does not hold if the pheasant's-eye does not capsule Hollerith. sent5: if the fact that the effigy is not a pleonasm but it ramifies does not hold then the airframe does not ramifies. sent6: if the effigy ramifies that either the pheasant's-eye is a reprobation or it is not offing or both is wrong. sent7: the effigy is annexational. sent8: the effigy does capsule Hollerith and is not non-annexational. ; $proof$ = 
void -> assump2: Let's assume that the effigy ramifies.; sent6 & assump2 -> int1: the fact that the pheasant's-eye is a reprobation or it is not offing or both does not hold.; sent3 -> int2: the pheasant's-eye is not a pleonasm if that it is a reprobation and/or it is not offing is not right.; int1 & int2 -> int3: the pheasant's-eye is not a pleonasm.; void -> assump1: Let's assume that the fact that the pheasant's-eye is a kind of a pleonasm hold.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the effigy does not ramify.; sent8 -> int6: the effigy does capsule Hollerith.; int5 & int6 -> int7: the effigy capsules Hollerith but it does not ramify.; [assump1] & int7 -> hypothesis; __DISPROVED__