there is something such that the fact that it is not a kind of a sprog and is not a hundredweight is false.
sent1: the Castillian is unexportable. sent2: there is something such that it is exportable thing that is not a hundredweight. sent3: something that is Columbian is a barren. sent4: if the fact that the Malecite is unexportable is not incorrect then that the fiance is both not a sprog and a hundredweight is incorrect. sent5: there exists something such that the fact that it is a sprog and it is not a hundredweight is false. sent6: something is unexportable if it is a barren. sent7: if the fiance is a kind of a sprog then that the Malecite is not unexportable and not a hundredweight is wrong. sent8: there is something such that it is unexpansive thing that is not a barren. sent9: there exists something such that it is not a hundredweight and is not unexportable. sent10: the fact that the fiance is not a sprog and not a hundredweight is not correct if the fact that the Malecite is unexportable hold. sent11: the fact that the fiance is not a sprog but it is a kind of a hundredweight is not correct. sent12: the fact that the fiance is a sprog and is not a kind of a hundredweight is not true if the Malecite is unexportable. sent13: if the fiance is a hundredweight the fact that the Malecite is a kind of a sprog but it is exportable does not hold.
the fact that the Opposition is unexportable is true.
sent6 -> int1: the Opposition is unexportable if that it is a barren hold.; sent3 -> int2: if the Opposition is Columbian then it is a barren.;
$hypothesis$ = there is something such that the fact that it is not a kind of a sprog and is not a hundredweight is false. ; $context$ = sent1: the Castillian is unexportable. sent2: there is something such that it is exportable thing that is not a hundredweight. sent3: something that is Columbian is a barren. sent4: if the fact that the Malecite is unexportable is not incorrect then that the fiance is both not a sprog and a hundredweight is incorrect. sent5: there exists something such that the fact that it is a sprog and it is not a hundredweight is false. sent6: something is unexportable if it is a barren. sent7: if the fiance is a kind of a sprog then that the Malecite is not unexportable and not a hundredweight is wrong. sent8: there is something such that it is unexpansive thing that is not a barren. sent9: there exists something such that it is not a hundredweight and is not unexportable. sent10: the fact that the fiance is not a sprog and not a hundredweight is not correct if the fact that the Malecite is unexportable hold. sent11: the fact that the fiance is not a sprog but it is a kind of a hundredweight is not correct. sent12: the fact that the fiance is a sprog and is not a kind of a hundredweight is not true if the Malecite is unexportable. sent13: if the fiance is a hundredweight the fact that the Malecite is a kind of a sprog but it is exportable does not hold. ; $proof$ = 
__UNKNOWN__