the contact is Carolingian.
sent1: if something is Aleutian but it does not vex homeless then the truss vexes Medicago. sent2: the plasma is Aleutian thing that does not vex homeless. sent3: something is not non-Carolingian if the fact that it is not Polish and it does giggle is not right. sent4: there is something such that the fact that it does not vex homeless hold. sent5: the citrulline does pleach radiobiology and it is a Pelagius if there is something such that it is not uncared-for. sent6: if something is Polish then the fact that it is a Carolingian is not incorrect. sent7: the citrulline is celiac if the truss vexes Medicago. sent8: the future is not uncared-for. sent9: if a celiac thing does giggle it is not a kind of a Pelagius. sent10: if the citrulline is not a giggle that the contact is both a Polish and a giggle is not true. sent11: if something is not celiac or is not cared-for or both then it is cared-for.
sent2 -> int1: something is Aleutian and does not vex homeless.; int1 & sent1 -> int2: the truss vexes Medicago.; int2 & sent7 -> int3: the citrulline is celiac.; void -> assump1: Let's assume that the citrulline is a kind of a giggle.; int3 & assump1 -> int4: the citrulline is a kind of celiac thing that giggles.; sent9 -> int5: the citrulline is not a Pelagius if it is celiac and it giggles.; int4 & int5 -> int6: the citrulline is not a Pelagius.; sent8 -> int7: there are cared-for things.; int7 & sent5 -> int8: the citrulline pleaches radiobiology and is a Pelagius.; int8 -> int9: the citrulline is a Pelagius.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the citrulline does not giggle.; sent3 -> int12: if the fact that the contact is not a kind of a Polish but it does giggle does not hold it is Carolingian.;
the gum-lac is uncared-for.
sent11 -> int13: if the gum-lac is not celiac or it is uncared-for or both then it is uncared-for.;
$hypothesis$ = the contact is Carolingian. ; $context$ = sent1: if something is Aleutian but it does not vex homeless then the truss vexes Medicago. sent2: the plasma is Aleutian thing that does not vex homeless. sent3: something is not non-Carolingian if the fact that it is not Polish and it does giggle is not right. sent4: there is something such that the fact that it does not vex homeless hold. sent5: the citrulline does pleach radiobiology and it is a Pelagius if there is something such that it is not uncared-for. sent6: if something is Polish then the fact that it is a Carolingian is not incorrect. sent7: the citrulline is celiac if the truss vexes Medicago. sent8: the future is not uncared-for. sent9: if a celiac thing does giggle it is not a kind of a Pelagius. sent10: if the citrulline is not a giggle that the contact is both a Polish and a giggle is not true. sent11: if something is not celiac or is not cared-for or both then it is cared-for. ; $proof$ = 
sent2 -> int1: something is Aleutian and does not vex homeless.; int1 & sent1 -> int2: the truss vexes Medicago.; int2 & sent7 -> int3: the citrulline is celiac.; void -> assump1: Let's assume that the citrulline is a kind of a giggle.; int3 & assump1 -> int4: the citrulline is a kind of celiac thing that giggles.; sent9 -> int5: the citrulline is not a Pelagius if it is celiac and it giggles.; int4 & int5 -> int6: the citrulline is not a Pelagius.; sent8 -> int7: there are cared-for things.; int7 & sent5 -> int8: the citrulline pleaches radiobiology and is a Pelagius.; int8 -> int9: the citrulline is a Pelagius.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the citrulline does not giggle.; sent3 -> int12: if the fact that the contact is not a kind of a Polish but it does giggle does not hold it is Carolingian.; __UNKNOWN__