the vestry does front Americanism.
sent1: an athenaeum is a Guinean. sent2: the caiman is not a corker if that the vestry is a pluck that does not front Americanism is correct. sent3: the fact that the canteen is both anacoluthic and not a pluck is not right. sent4: the vestry does not front Americanism if the caiman is a pluck and it does front Americanism. sent5: The centrifugation does not confuse caiman. sent6: if there exists something such that the fact that it is anacoluthic and it does not pluck is false the caiman is a pluck. sent7: if the capercaillie is a kind of a Guinean the caiman is a kind of a woodpile but it is not a corker. sent8: that something is a kind of non-anacoluthic a Guinean does not hold if it is a kind of an athenaeum. sent9: the caiman is an athenaeum if it does not confuse centrifugation. sent10: the vestry is a woodpile and is a kind of a pluck. sent11: if the fact that something is not anacoluthic but it is a Guinean is not right it is a corker.
sent10 -> int1: the vestry is a pluck.; void -> assump1: Let's assume that that the vestry does not front Americanism is right.; int1 & assump1 -> int2: the vestry plucks but it does not front Americanism.; int2 & sent2 -> int3: the caiman is not a corker.; sent11 -> int4: if that the caiman is both not anacoluthic and not non-Guinean is wrong then it is a kind of a corker.; sent8 -> int5: that the caiman is not anacoluthic but it is a Guinean is wrong if it is an athenaeum.;
the vestry does not front Americanism.
sent3 -> int6: there exists something such that that it is anacoluthic but not a pluck is not true.; int6 & sent6 -> int7: the caiman does pluck.; sent1 -> int8: if the capercaillie is a kind of an athenaeum then it is a kind of a Guinean.;
$hypothesis$ = the vestry does front Americanism. ; $context$ = sent1: an athenaeum is a Guinean. sent2: the caiman is not a corker if that the vestry is a pluck that does not front Americanism is correct. sent3: the fact that the canteen is both anacoluthic and not a pluck is not right. sent4: the vestry does not front Americanism if the caiman is a pluck and it does front Americanism. sent5: The centrifugation does not confuse caiman. sent6: if there exists something such that the fact that it is anacoluthic and it does not pluck is false the caiman is a pluck. sent7: if the capercaillie is a kind of a Guinean the caiman is a kind of a woodpile but it is not a corker. sent8: that something is a kind of non-anacoluthic a Guinean does not hold if it is a kind of an athenaeum. sent9: the caiman is an athenaeum if it does not confuse centrifugation. sent10: the vestry is a woodpile and is a kind of a pluck. sent11: if the fact that something is not anacoluthic but it is a Guinean is not right it is a corker. ; $proof$ = 
sent10 -> int1: the vestry is a pluck.; void -> assump1: Let's assume that that the vestry does not front Americanism is right.; int1 & assump1 -> int2: the vestry plucks but it does not front Americanism.; int2 & sent2 -> int3: the caiman is not a corker.; sent11 -> int4: if that the caiman is both not anacoluthic and not non-Guinean is wrong then it is a kind of a corker.; sent8 -> int5: that the caiman is not anacoluthic but it is a Guinean is wrong if it is an athenaeum.; __UNKNOWN__