the articulation is not stannic.
sent1: if the articulation is both agranulocytic and stannic then the bordelaise is not cross-cultural. sent2: if something is a provincial it does hypnotize Jacobite. sent3: the articulation is a provincial. sent4: if something is not cross-cultural the fact that it does not hypnotize Jacobite and is not inoperative does not hold. sent5: the articulation is cross-cultural and it is a provincial if it is not inoperative. sent6: the articulation is not inoperative if it is modifiable thing that does hypnotize Jacobite. sent7: the prosecutor is not modifiable. sent8: the articulation is a kind of a provincial and is agranulocytic. sent9: if the fact that something either is not cross-cultural or is not stannic or both does not hold then it is provincial. sent10: that something does hypnotize Jacobite and is not inoperative is not true if it is not cross-cultural. sent11: the fact that something is not agranulocytic and it is not stannic does not hold if it is provincial. sent12: the fact that the bordelaise hypnotizes Jacobite but it is not inoperative is wrong.
sent8 -> int1: the articulation is agranulocytic.; void -> assump1: Let's assume that the articulation is stannic.; int1 & assump1 -> int2: the articulation is agranulocytic and is not non-stannic.; int2 & sent1 -> int3: the bordelaise is not cross-cultural.; sent4 -> int4: if the bordelaise is not cross-cultural the fact that it does not hypnotize Jacobite and is not inoperative is false.; int3 & int4 -> int5: that the bordelaise does not hypnotize Jacobite and is not inoperative is not right.;
the articulation is stannic.
sent11 -> int6: the fact that the articulation is non-agranulocytic thing that is not stannic is incorrect if that it is a provincial is right.;
$hypothesis$ = the articulation is not stannic. ; $context$ = sent1: if the articulation is both agranulocytic and stannic then the bordelaise is not cross-cultural. sent2: if something is a provincial it does hypnotize Jacobite. sent3: the articulation is a provincial. sent4: if something is not cross-cultural the fact that it does not hypnotize Jacobite and is not inoperative does not hold. sent5: the articulation is cross-cultural and it is a provincial if it is not inoperative. sent6: the articulation is not inoperative if it is modifiable thing that does hypnotize Jacobite. sent7: the prosecutor is not modifiable. sent8: the articulation is a kind of a provincial and is agranulocytic. sent9: if the fact that something either is not cross-cultural or is not stannic or both does not hold then it is provincial. sent10: that something does hypnotize Jacobite and is not inoperative is not true if it is not cross-cultural. sent11: the fact that something is not agranulocytic and it is not stannic does not hold if it is provincial. sent12: the fact that the bordelaise hypnotizes Jacobite but it is not inoperative is wrong. ; $proof$ = 
sent8 -> int1: the articulation is agranulocytic.; void -> assump1: Let's assume that the articulation is stannic.; int1 & assump1 -> int2: the articulation is agranulocytic and is not non-stannic.; int2 & sent1 -> int3: the bordelaise is not cross-cultural.; sent4 -> int4: if the bordelaise is not cross-cultural the fact that it does not hypnotize Jacobite and is not inoperative is false.; int3 & int4 -> int5: that the bordelaise does not hypnotize Jacobite and is not inoperative is not right.; __UNKNOWN__