the fact that something is a kind of a exenteration but it is not a kind of a cilium is false.
sent1: if the iconoclast hosts and is a marine it is not Draconian. sent2: that the iconoclast is not Draconian but it is prehistoric is not correct. sent3: if something that is not marine is non-time-release then it is a host. sent4: if that the fact that the iconoclast is not Draconian and is not non-prehistoric is correct is false it is Draconian. sent5: if that the nafcillin is not a kind of a host but it is an accompanist is wrong then it does host. sent6: the iconoclast is a exenteration if the abomasum is a kind of a exenteration. sent7: the iconoclast is not non-marine. sent8: that something is non-time-release thing that smashes karat is correct if it is not a host. sent9: if the iconoclast is non-time-release thing that does smash karat then it is not a kind of a cilium. sent10: the fact that the abomasum is a exenteration is not false. sent11: if the iconoclast does smash karat and is not a cilium the abomasum is not a marine.
void -> assump1: Let's assume that the iconoclast is a host.; assump1 & sent7 -> int1: the fact that the iconoclast is a host and marine is true.; int1 & sent1 -> int2: the iconoclast is not Draconian.; sent4 & sent2 -> int3: the iconoclast is Draconian.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the iconoclast does not host.; sent8 -> int6: the iconoclast is not time-release but it does smash karat if it does not host.; int5 & int6 -> int7: the iconoclast is not time-release and does smash karat.; int7 & sent9 -> int8: the iconoclast is not a cilium.; sent6 & sent10 -> int9: the iconoclast is a exenteration.; int8 & int9 -> int10: the iconoclast is both a exenteration and not a cilium.; int10 -> hypothesis;
the abomasum is Draconian.
sent3 -> int11: if the abomasum is non-marine and non-time-release then it does host.;
$hypothesis$ = the fact that something is a kind of a exenteration but it is not a kind of a cilium is false. ; $context$ = sent1: if the iconoclast hosts and is a marine it is not Draconian. sent2: that the iconoclast is not Draconian but it is prehistoric is not correct. sent3: if something that is not marine is non-time-release then it is a host. sent4: if that the fact that the iconoclast is not Draconian and is not non-prehistoric is correct is false it is Draconian. sent5: if that the nafcillin is not a kind of a host but it is an accompanist is wrong then it does host. sent6: the iconoclast is a exenteration if the abomasum is a kind of a exenteration. sent7: the iconoclast is not non-marine. sent8: that something is non-time-release thing that smashes karat is correct if it is not a host. sent9: if the iconoclast is non-time-release thing that does smash karat then it is not a kind of a cilium. sent10: the fact that the abomasum is a exenteration is not false. sent11: if the iconoclast does smash karat and is not a cilium the abomasum is not a marine. ; $proof$ = 
void -> assump1: Let's assume that the iconoclast is a host.; assump1 & sent7 -> int1: the fact that the iconoclast is a host and marine is true.; int1 & sent1 -> int2: the iconoclast is not Draconian.; sent4 & sent2 -> int3: the iconoclast is Draconian.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the iconoclast does not host.; sent8 -> int6: the iconoclast is not time-release but it does smash karat if it does not host.; int5 & int6 -> int7: the iconoclast is not time-release and does smash karat.; int7 & sent9 -> int8: the iconoclast is not a cilium.; sent6 & sent10 -> int9: the iconoclast is a exenteration.; int8 & int9 -> int10: the iconoclast is both a exenteration and not a cilium.; int10 -> hypothesis; __DISPROVED__