the goatherd blues dun.
sent1: if the fact that the Realtor is not a kind of a passenger is not wrong then it is not a parget. sent2: the Realtor does not parget. sent3: the goatherd is cordless if the Realtor is nonsteroidal and it is a parget. sent4: something is nonsteroidal but it is not a parget if it is not a kind of a passenger. sent5: the goatherd is cordless if the Realtor is nonsteroidal but it is not a parget. sent6: something is variable but it is not cordless if it does not wrestle quintet. sent7: if something blues wog then the Realtor is not a passenger. sent8: something blues wog. sent9: something does not parget if it is not a kind of a passenger.
sent4 -> int1: if the Realtor is not a kind of a passenger then it is nonsteroidal and is not a parget.; sent8 & sent7 -> int2: the Realtor is not a passenger.; int1 & int2 -> int3: the Realtor is nonsteroidal but it is not a parget.; int3 & sent5 -> int4: the goatherd is cordless.;
if the wog does not wrestle quintet it is variable and it is not cordless.
sent6 -> hypothesis;
$hypothesis$ = the goatherd blues dun. ; $context$ = sent1: if the fact that the Realtor is not a kind of a passenger is not wrong then it is not a parget. sent2: the Realtor does not parget. sent3: the goatherd is cordless if the Realtor is nonsteroidal and it is a parget. sent4: something is nonsteroidal but it is not a parget if it is not a kind of a passenger. sent5: the goatherd is cordless if the Realtor is nonsteroidal but it is not a parget. sent6: something is variable but it is not cordless if it does not wrestle quintet. sent7: if something blues wog then the Realtor is not a passenger. sent8: something blues wog. sent9: something does not parget if it is not a kind of a passenger. ; $proof$ = 
sent4 -> int1: if the Realtor is not a kind of a passenger then it is nonsteroidal and is not a parget.; sent8 & sent7 -> int2: the Realtor is not a passenger.; int1 & int2 -> int3: the Realtor is nonsteroidal but it is not a parget.; int3 & sent5 -> int4: the goatherd is cordless.; __UNKNOWN__