context: Anne is big. Charlie is the aunt of Dave. Bob is not white if Anne is big. Dave is white if Harry is round. Harry is round if Bob is not white. If Dave is white then Gary is not smart. Harry is not quiet if Gary is not smart or The aunt of Dave is Charlie.