the Eurasian is not acyclic.
sent1: the broadloom is a pro. sent2: if the broadloom is Yeatsian then it does espouse. sent3: if the broadloom is both a spiel and lymphoid it is not a affirmativeness. sent4: if the broadloom is a kind of a pro that it spiels hold. sent5: the Eurasian is not acyclic if something that does espouse is a kind of an airship. sent6: if the broadloom is not a kind of a affirmativeness the fact that it is Yeatsian is not incorrect. sent7: the broadloom is lymphoid.
sent4 & sent1 -> int1: the broadloom does spiel.; int1 & sent7 -> int2: the broadloom is a spiel and it is lymphoid.; int2 & sent3 -> int3: the broadloom is not a affirmativeness.; int3 & sent6 -> int4: the broadloom is Yeatsian.; int4 & sent2 -> int5: the broadloom espouses.;
$hypothesis$ = the Eurasian is not acyclic. ; $context$ = sent1: the broadloom is a pro. sent2: if the broadloom is Yeatsian then it does espouse. sent3: if the broadloom is both a spiel and lymphoid it is not a affirmativeness. sent4: if the broadloom is a kind of a pro that it spiels hold. sent5: the Eurasian is not acyclic if something that does espouse is a kind of an airship. sent6: if the broadloom is not a kind of a affirmativeness the fact that it is Yeatsian is not incorrect. sent7: the broadloom is lymphoid. ; $proof$ = 
sent4 & sent1 -> int1: the broadloom does spiel.; int1 & sent7 -> int2: the broadloom is a spiel and it is lymphoid.; int2 & sent3 -> int3: the broadloom is not a affirmativeness.; int3 & sent6 -> int4: the broadloom is Yeatsian.; int4 & sent2 -> int5: the broadloom espouses.; __UNKNOWN__