context: Anne is big. The son of Charlie is Gary. 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. If Gary is not smart or Gary is the son of Charlie then Harry is quiet.