the Castillian is a briber.
sent1: the antilepton is non-calcic and a briber. sent2: the zinfandel does fail Ephesian if the outfit is not aldehydic. sent3: if the zinfandel fails Ephesian the Castillian is a kind of a briber. sent4: the harpoon is a cause. sent5: the harpoon is aldehydic if the outfit is a kind of a Quito. sent6: if the harpoon is aldehydic then the outfit is not a cause. sent7: the fact that the harpoon is a Quito and it is vesicular is incorrect. sent8: the zinfandel is a briber. sent9: if the harpoon is not a Quito the fact that it is a kind of non-Sabine thing that is a lodestone is not true. sent10: if that something is both not a Quito and vesicular is not true then it is not a kind of a cause. sent11: the Castillian is a kind of a lodestone if the harpoon is not a cause.
sent10 -> int1: if the fact that the harpoon is both not a Quito and vesicular does not hold it is not a cause.; void -> assump1: Let's assume that the fact that the harpoon is both not a Quito and vesicular does not hold.; int1 & assump1 -> int2: the harpoon is not a cause.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the harpoon is both not a Quito and vesicular.; int4 -> int5: the harpoon is not a Quito.; int5 & sent9 -> int6: the fact that the harpoon is a kind of non-Sabine thing that is a kind of a lodestone does not hold.;
$hypothesis$ = the Castillian is a briber. ; $context$ = sent1: the antilepton is non-calcic and a briber. sent2: the zinfandel does fail Ephesian if the outfit is not aldehydic. sent3: if the zinfandel fails Ephesian the Castillian is a kind of a briber. sent4: the harpoon is a cause. sent5: the harpoon is aldehydic if the outfit is a kind of a Quito. sent6: if the harpoon is aldehydic then the outfit is not a cause. sent7: the fact that the harpoon is a Quito and it is vesicular is incorrect. sent8: the zinfandel is a briber. sent9: if the harpoon is not a Quito the fact that it is a kind of non-Sabine thing that is a lodestone is not true. sent10: if that something is both not a Quito and vesicular is not true then it is not a kind of a cause. sent11: the Castillian is a kind of a lodestone if the harpoon is not a cause. ; $proof$ = 
sent10 -> int1: if the fact that the harpoon is both not a Quito and vesicular does not hold it is not a cause.; void -> assump1: Let's assume that the fact that the harpoon is both not a Quito and vesicular does not hold.; int1 & assump1 -> int2: the harpoon is not a cause.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the harpoon is both not a Quito and vesicular.; int4 -> int5: the harpoon is not a Quito.; int5 & sent9 -> int6: the fact that the harpoon is a kind of non-Sabine thing that is a kind of a lodestone does not hold.; __UNKNOWN__