the quadrant is not transoceanic.
sent1: The apparel does steal quadrant. sent2: if the shipway does not decolonize lutefisk then it does not outsail graded and is a tramp. sent3: the quadrant does steal apparel. sent4: if the shipway does not outsail graded but it does tramp then the quadrant is emulous. sent5: the shipway is statutory. sent6: the shipway is an insignificance. sent7: if something is statutory thing that is an insignificance that that it decolonizes lutefisk hold is incorrect. sent8: if the quadrant is not non-emulous and it steals apparel then it is not transoceanic.
sent5 & sent6 -> int1: the shipway is a kind of statutory thing that is an insignificance.; sent7 -> int2: the shipway does not decolonize lutefisk if it is statutory an insignificance.; int1 & int2 -> int3: the shipway does not decolonize lutefisk.; int3 & sent2 -> int4: the shipway does not outsail graded but it is a tramp.; int4 & sent4 -> int5: the quadrant is emulous.; int5 & sent3 -> int6: the quadrant is emulous and does steal apparel.; int6 & sent8 -> hypothesis;
$hypothesis$ = the quadrant is not transoceanic. ; $context$ = sent1: The apparel does steal quadrant. sent2: if the shipway does not decolonize lutefisk then it does not outsail graded and is a tramp. sent3: the quadrant does steal apparel. sent4: if the shipway does not outsail graded but it does tramp then the quadrant is emulous. sent5: the shipway is statutory. sent6: the shipway is an insignificance. sent7: if something is statutory thing that is an insignificance that that it decolonizes lutefisk hold is incorrect. sent8: if the quadrant is not non-emulous and it steals apparel then it is not transoceanic. ; $proof$ = 
sent5 & sent6 -> int1: the shipway is a kind of statutory thing that is an insignificance.; sent7 -> int2: the shipway does not decolonize lutefisk if it is statutory an insignificance.; int1 & int2 -> int3: the shipway does not decolonize lutefisk.; int3 & sent2 -> int4: the shipway does not outsail graded but it is a tramp.; int4 & sent4 -> int5: the quadrant is emulous.; int5 & sent3 -> int6: the quadrant is emulous and does steal apparel.; int6 & sent8 -> hypothesis; __PROVED__