the chat is marmorean thing that reddens Algonquian.
sent1: the chat is marmorean if it is a coursework. sent2: the chat is not a kind of a coursework but it is equitable if it is away. sent3: the chat is a kind of a coursework. sent4: if the chat does redden turnbuckle then it is not a brick. sent5: the chat reddens turnbuckle. sent6: that the chat is not a brick hold. sent7: The turnbuckle reddens chat.
sent1 & sent3 -> int1: the chat is marmorean.;
$hypothesis$ = the chat is marmorean thing that reddens Algonquian. ; $context$ = sent1: the chat is marmorean if it is a coursework. sent2: the chat is not a kind of a coursework but it is equitable if it is away. sent3: the chat is a kind of a coursework. sent4: if the chat does redden turnbuckle then it is not a brick. sent5: the chat reddens turnbuckle. sent6: that the chat is not a brick hold. sent7: The turnbuckle reddens chat. ; $proof$ = 
sent1 & sent3 -> int1: the chat is marmorean.; __UNKNOWN__