the Attic does not shrink encore.
sent1: if the Attic is a kind of a tanker but it is not a putout then it is not non-maladroit. sent2: the Attic is international. sent3: the thorn does not shrink encore and it does not undress. sent4: the Attic is a putout. sent5: something does shrink encore if it is not orbital and is not a lees. sent6: if the Attic is a kind of a tanker then it is not orbital and it is not a lees. sent7: the roebuck is a lees. sent8: the Attic is a tanker. sent9: if the Attic is orbital and is not a lees then it shrinks encore.
sent6 & sent8 -> int1: the Attic is not orbital and is not a lees.; sent5 -> int2: the Attic shrinks encore if the fact that it is non-orbital and it is not a lees is right.; int1 & int2 -> hypothesis;
$hypothesis$ = the Attic does not shrink encore. ; $context$ = sent1: if the Attic is a kind of a tanker but it is not a putout then it is not non-maladroit. sent2: the Attic is international. sent3: the thorn does not shrink encore and it does not undress. sent4: the Attic is a putout. sent5: something does shrink encore if it is not orbital and is not a lees. sent6: if the Attic is a kind of a tanker then it is not orbital and it is not a lees. sent7: the roebuck is a lees. sent8: the Attic is a tanker. sent9: if the Attic is orbital and is not a lees then it shrinks encore. ; $proof$ = 
sent6 & sent8 -> int1: the Attic is not orbital and is not a lees.; sent5 -> int2: the Attic shrinks encore if the fact that it is non-orbital and it is not a lees is right.; int1 & int2 -> hypothesis; __DISPROVED__