if the gargoyle is .38-caliber the ectoderm either is not a featherfoil or does drape echolocation or both.
sent1: the lunula is not palatable if the uranium does not rewrite nudibranch. sent2: if the ectoderm is not .38-caliber the gargoyle is a featherfoil and/or is .38-caliber. sent3: that the butcherbird is not palatable is right if the headdress is a kind of .38-caliber thing that drapes echolocation. sent4: the lunula is not palatable if the uranium is not a wollastonite. sent5: the fact that if the fact that the lunula is not a featherfoil and is a wollastonite is correct then the ectoderm is not .38-caliber is right. sent6: if the butcherbird does not drape echolocation then the ectoderm is a featherfoil or drape echolocation or both. sent7: if the lunula is not a kind of a wollastonite but it rewrites nudibranch then the gargoyle is .38-caliber. sent8: if the uranium is not a featherfoil the ectoderm is palatable or it is a featherfoil or both. sent9: if the headdress is palatable then that the lunula rewrites nudibranch is not incorrect. sent10: if the fact that the gargoyle is .38-caliber is correct the ectoderm is a featherfoil or it drapes echolocation or both. sent11: the lunula rewrites nudibranch. sent12: the gargoyle is not .38-caliber if the lunula is not a wollastonite but it does rewrite nudibranch. sent13: if the lunula is a kind of unpalatable thing that rewrites nudibranch the uranium drapes echolocation. sent14: the fact that the uranium is not a kind of a featherfoil but it is starchy hold. sent15: if that the uranium is starchy and is palatable is incorrect the butcherbird does not drape echolocation. sent16: that the butcherbird does not drape echolocation hold if the uranium is not starchy. sent17: the ectoderm is a featherfoil and/or it drapes echolocation. sent18: if the butcherbird does not drape echolocation then the ectoderm is not a featherfoil or drape echolocation or both. sent19: if the headdress is not palatable then that the uranium is starchy and it is palatable is not correct. sent20: if the headdress is palatable then the lunula is not a wollastonite and does rewrite nudibranch. sent21: the headdress is starchy and/or it is palatable.
void -> assump2: Let's assume that the gargoyle is .38-caliber.; void -> assump1: Let's assume that the headdress is palatable.; sent20 & assump1 -> int1: the lunula is not a wollastonite but it does rewrite nudibranch.; sent12 & int1 -> int2: the gargoyle is not .38-caliber.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the headdress is not palatable.; sent19 & int4 -> int5: the fact that the uranium is both starchy and palatable is not right.; sent15 & int5 -> int6: the butcherbird does not drape echolocation.; sent18 & int6 -> int7: the ectoderm is not a kind of a featherfoil and/or it drapes echolocation.; [assump2] & int7 -> hypothesis;
$hypothesis$ = if the gargoyle is .38-caliber the ectoderm either is not a featherfoil or does drape echolocation or both. ; $context$ = sent1: the lunula is not palatable if the uranium does not rewrite nudibranch. sent2: if the ectoderm is not .38-caliber the gargoyle is a featherfoil and/or is .38-caliber. sent3: that the butcherbird is not palatable is right if the headdress is a kind of .38-caliber thing that drapes echolocation. sent4: the lunula is not palatable if the uranium is not a wollastonite. sent5: the fact that if the fact that the lunula is not a featherfoil and is a wollastonite is correct then the ectoderm is not .38-caliber is right. sent6: if the butcherbird does not drape echolocation then the ectoderm is a featherfoil or drape echolocation or both. sent7: if the lunula is not a kind of a wollastonite but it rewrites nudibranch then the gargoyle is .38-caliber. sent8: if the uranium is not a featherfoil the ectoderm is palatable or it is a featherfoil or both. sent9: if the headdress is palatable then that the lunula rewrites nudibranch is not incorrect. sent10: if the fact that the gargoyle is .38-caliber is correct the ectoderm is a featherfoil or it drapes echolocation or both. sent11: the lunula rewrites nudibranch. sent12: the gargoyle is not .38-caliber if the lunula is not a wollastonite but it does rewrite nudibranch. sent13: if the lunula is a kind of unpalatable thing that rewrites nudibranch the uranium drapes echolocation. sent14: the fact that the uranium is not a kind of a featherfoil but it is starchy hold. sent15: if that the uranium is starchy and is palatable is incorrect the butcherbird does not drape echolocation. sent16: that the butcherbird does not drape echolocation hold if the uranium is not starchy. sent17: the ectoderm is a featherfoil and/or it drapes echolocation. sent18: if the butcherbird does not drape echolocation then the ectoderm is not a featherfoil or drape echolocation or both. sent19: if the headdress is not palatable then that the uranium is starchy and it is palatable is not correct. sent20: if the headdress is palatable then the lunula is not a wollastonite and does rewrite nudibranch. sent21: the headdress is starchy and/or it is palatable. ; $proof$ = 
void -> assump2: Let's assume that the gargoyle is .38-caliber.; void -> assump1: Let's assume that the headdress is palatable.; sent20 & assump1 -> int1: the lunula is not a wollastonite but it does rewrite nudibranch.; sent12 & int1 -> int2: the gargoyle is not .38-caliber.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the headdress is not palatable.; sent19 & int4 -> int5: the fact that the uranium is both starchy and palatable is not right.; sent15 & int5 -> int6: the butcherbird does not drape echolocation.; sent18 & int6 -> int7: the ectoderm is not a kind of a featherfoil and/or it drapes echolocation.; [assump2] & int7 -> hypothesis; __PROVED__