if the maid is a kind of a GHQ the chlordiazepoxide is a Monera.
sent1: the fact that the fact that something pins crooked and is inferential does not hold if it is a GHQ is correct. sent2: the chlordiazepoxide does not pin ding if the glycol does not hypnotize solver. sent3: the chlordiazepoxide does not pin ding. sent4: the glycol does not hypnotize solver if the maid is inferential. sent5: the fact that something pins crooked and is not inferential is not right if it is a GHQ. sent6: if the glycol does not hypnotize solver the chlordiazepoxide is a Monera and does not pin ding. sent7: that that the maid does pin crooked and is inferential hold is wrong.
sent5 -> int1: that the maid pins crooked and is not inferential does not hold if it is a GHQ.; void -> assump1: Let's assume that the maid is a kind of a GHQ.; int1 & assump1 -> int2: that the maid pins crooked but it is not inferential is not true.;
$hypothesis$ = if the maid is a kind of a GHQ the chlordiazepoxide is a Monera. ; $context$ = sent1: the fact that the fact that something pins crooked and is inferential does not hold if it is a GHQ is correct. sent2: the chlordiazepoxide does not pin ding if the glycol does not hypnotize solver. sent3: the chlordiazepoxide does not pin ding. sent4: the glycol does not hypnotize solver if the maid is inferential. sent5: the fact that something pins crooked and is not inferential is not right if it is a GHQ. sent6: if the glycol does not hypnotize solver the chlordiazepoxide is a Monera and does not pin ding. sent7: that that the maid does pin crooked and is inferential hold is wrong. ; $proof$ = 
sent5 -> int1: that the maid pins crooked and is not inferential does not hold if it is a GHQ.; void -> assump1: Let's assume that the maid is a kind of a GHQ.; int1 & assump1 -> int2: that the maid pins crooked but it is not inferential is not true.; __UNKNOWN__