the chaja is not a exurbia.
sent1: if there is something such that that it is a eptatretus and it is not a brill does not hold the biographer is not a eptatretus. sent2: if the chaja is not a brill but it is appointive it is not a kind of a exurbia. sent3: something that is sociolinguistics is a kind of a exurbia. sent4: if something that is not a eptatretus undercuts skyline then it is not a kilogram. sent5: the fact that the chaja is a kind of a eptatretus but it is not a brill is not right if the loader is a kind of an implantation. sent6: something is an implantation if it does not undercut skyline. sent7: the loader is not a eptatretus if something is a kilogram and it undercuts skyline. sent8: the biographer is not a high-low but it is a brill. sent9: the loader is a kind of a eptatretus. sent10: the loader is appointive. sent11: the biographer is sociolinguistics. sent12: the chaja is a kilogram if the biographer is sociolinguistics. sent13: the fact that either something is a kilogram or it does not undercut skyline or both is false if it is not a eptatretus.
sent12 & sent11 -> int1: the chaja is a kilogram.; void -> assump1: Let's assume that the chaja undercuts skyline.; int1 & assump1 -> int2: the chaja is a kind of a kilogram that does undercut skyline.; int2 -> int3: there exists something such that it is a kilogram and undercuts skyline.; int3 & sent7 -> int4: the loader is not a kind of a eptatretus.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the chaja does not undercut skyline.; sent6 -> int7: that the fact that the chaja is not a kind of an implantation is not true is correct if it does not undercut skyline.; int6 & int7 -> int8: the chaja is an implantation.;
the chaja is a exurbia.
sent4 -> int9: if the biographer is not a eptatretus and does undercut skyline it is not a kilogram.;
$hypothesis$ = the chaja is not a exurbia. ; $context$ = sent1: if there is something such that that it is a eptatretus and it is not a brill does not hold the biographer is not a eptatretus. sent2: if the chaja is not a brill but it is appointive it is not a kind of a exurbia. sent3: something that is sociolinguistics is a kind of a exurbia. sent4: if something that is not a eptatretus undercuts skyline then it is not a kilogram. sent5: the fact that the chaja is a kind of a eptatretus but it is not a brill is not right if the loader is a kind of an implantation. sent6: something is an implantation if it does not undercut skyline. sent7: the loader is not a eptatretus if something is a kilogram and it undercuts skyline. sent8: the biographer is not a high-low but it is a brill. sent9: the loader is a kind of a eptatretus. sent10: the loader is appointive. sent11: the biographer is sociolinguistics. sent12: the chaja is a kilogram if the biographer is sociolinguistics. sent13: the fact that either something is a kilogram or it does not undercut skyline or both is false if it is not a eptatretus. ; $proof$ = 
sent12 & sent11 -> int1: the chaja is a kilogram.; void -> assump1: Let's assume that the chaja undercuts skyline.; int1 & assump1 -> int2: the chaja is a kind of a kilogram that does undercut skyline.; int2 -> int3: there exists something such that it is a kilogram and undercuts skyline.; int3 & sent7 -> int4: the loader is not a kind of a eptatretus.; int4 & sent9 -> int5: this is contradiction.; [assump1] & int5 -> int6: the chaja does not undercut skyline.; sent6 -> int7: that the fact that the chaja is not a kind of an implantation is not true is correct if it does not undercut skyline.; int6 & int7 -> int8: the chaja is an implantation.; __UNKNOWN__