the fact that the trawl is not pleasant but a captain is not right.
sent1: that the trawl is higher and/or it is pleasant is not wrong if something is a contributor. sent2: if the fact that the trawl is higher is not false then the crayon is pleasant. sent3: the Milk is lumbar. sent4: something is a kind of a Sturnella if it is not a contributor. sent5: if the fact that there exists something such that it captains and/or it is enforceable is true the horsecar does captains. sent6: that the trawl is pleasant and does captain is not right. sent7: if the Milk is a Sturnella and it is higher it is not lumbar. sent8: the Mason either does captain or is enforceable or both. sent9: the crayon is pleasant if the trawl is pleasant. sent10: that the fact that the trawl is not pleasant but it is a captain does not hold is right if there are non-higher things. sent11: if something is not higher then the fact that the trawl is a kind of pleasant thing that does captain is incorrect. sent12: something is lumbar if it is a captain. sent13: the fact that there are higher things hold.
sent4 -> int1: the Milk is a Sturnella if it is not a contributor.;
the crayon is pleasant.
sent12 -> int2: the horsecar is lumbar if it is a captain.; sent8 -> int3: something is a captain and/or enforceable.; int3 & sent5 -> int4: the horsecar is a kind of a captain.; int2 & int4 -> int5: the fact that the horsecar is lumbar hold.;
$hypothesis$ = the fact that the trawl is not pleasant but a captain is not right. ; $context$ = sent1: that the trawl is higher and/or it is pleasant is not wrong if something is a contributor. sent2: if the fact that the trawl is higher is not false then the crayon is pleasant. sent3: the Milk is lumbar. sent4: something is a kind of a Sturnella if it is not a contributor. sent5: if the fact that there exists something such that it captains and/or it is enforceable is true the horsecar does captains. sent6: that the trawl is pleasant and does captain is not right. sent7: if the Milk is a Sturnella and it is higher it is not lumbar. sent8: the Mason either does captain or is enforceable or both. sent9: the crayon is pleasant if the trawl is pleasant. sent10: that the fact that the trawl is not pleasant but it is a captain does not hold is right if there are non-higher things. sent11: if something is not higher then the fact that the trawl is a kind of pleasant thing that does captain is incorrect. sent12: something is lumbar if it is a captain. sent13: the fact that there are higher things hold. ; $proof$ = 
sent4 -> int1: the Milk is a Sturnella if it is not a contributor.; __UNKNOWN__