the Powhatan is a sima.
sent1: if the cloakmaker is not sacramental then that either the consul is intracellular or it is unmalicious or both is false. sent2: there exists something such that it is not intracellular. sent3: something is malicious. sent4: there exists something such that the fact that it does command utahraptor and it risks Leander is not true. sent5: the cloakmaker is a kind of a trachodon if it is sacramental. sent6: the fact that something does risk Leander but it is not a kind of a sima is wrong if it commands utahraptor. sent7: the supplement is not redemptive and it is inharmonious if it is not saprophytic. sent8: something is intracellular and/or it is unmalicious. sent9: the cloakmaker is not a trachodon if there is something such that it does not risk Leander. sent10: the fact that the consul is not intracellular is not wrong if the cloakmaker is not sacramental. sent11: if there is something such that that it does command utahraptor and it does risk Leander is wrong then the cloakmaker is not a trachodon. sent12: the Powhatan is unmalicious if there is something such that the fact that it is not a trachodon and is not sacramental is wrong. sent13: the Powhatan is not a sima if there is something such that the fact that either it is intracellular or it is unmalicious or both is not true. sent14: if something is intracellular then the fact that it is not a trachodon and it is not sacramental is not true. sent15: if there exists something such that it is not redemptive and is not harmonious that the consul commands utahraptor is not wrong. sent16: the supplement is not saprophytic.
void -> assump1: Let's assume that the cloakmaker is sacramental.; sent5 & assump1 -> int1: the cloakmaker is a trachodon.; sent4 & sent11 -> int2: the cloakmaker is not a trachodon.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cloakmaker is not sacramental.; int4 & sent1 -> int5: that the consul is intracellular and/or it is unmalicious is not correct.; int5 -> int6: there exists something such that that it is not non-intracellular or it is unmalicious or both is not correct.; int6 & sent13 -> hypothesis;
the Powhatan is unmalicious.
sent14 -> int7: that the cloakmaker is not a trachodon and it is not sacramental does not hold if it is intracellular.; sent6 -> int8: the fact that the consul does risk Leander but it is not a sima is not true if it commands utahraptor.; sent7 & sent16 -> int9: the supplement is not redemptive and it is not harmonious.; int9 -> int10: there are non-redemptive and inharmonious things.; int10 & sent15 -> int11: the fact that the consul does command utahraptor is correct.; int8 & int11 -> int12: that the consul does risk Leander but it is not a sima is not correct.; int12 -> int13: there exists something such that that it does risk Leander and is not a sima is not right.;
$hypothesis$ = the Powhatan is a sima. ; $context$ = sent1: if the cloakmaker is not sacramental then that either the consul is intracellular or it is unmalicious or both is false. sent2: there exists something such that it is not intracellular. sent3: something is malicious. sent4: there exists something such that the fact that it does command utahraptor and it risks Leander is not true. sent5: the cloakmaker is a kind of a trachodon if it is sacramental. sent6: the fact that something does risk Leander but it is not a kind of a sima is wrong if it commands utahraptor. sent7: the supplement is not redemptive and it is inharmonious if it is not saprophytic. sent8: something is intracellular and/or it is unmalicious. sent9: the cloakmaker is not a trachodon if there is something such that it does not risk Leander. sent10: the fact that the consul is not intracellular is not wrong if the cloakmaker is not sacramental. sent11: if there is something such that that it does command utahraptor and it does risk Leander is wrong then the cloakmaker is not a trachodon. sent12: the Powhatan is unmalicious if there is something such that the fact that it is not a trachodon and is not sacramental is wrong. sent13: the Powhatan is not a sima if there is something such that the fact that either it is intracellular or it is unmalicious or both is not true. sent14: if something is intracellular then the fact that it is not a trachodon and it is not sacramental is not true. sent15: if there exists something such that it is not redemptive and is not harmonious that the consul commands utahraptor is not wrong. sent16: the supplement is not saprophytic. ; $proof$ = 
void -> assump1: Let's assume that the cloakmaker is sacramental.; sent5 & assump1 -> int1: the cloakmaker is a trachodon.; sent4 & sent11 -> int2: the cloakmaker is not a trachodon.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cloakmaker is not sacramental.; int4 & sent1 -> int5: that the consul is intracellular and/or it is unmalicious is not correct.; int5 -> int6: there exists something such that that it is not non-intracellular or it is unmalicious or both is not correct.; int6 & sent13 -> hypothesis; __DISPROVED__