context: Anne is big. Bob is not white if Anne is big. Harry is round if Bob is not white. Dave is white if Harry is round. If Dave is white then Gary is not smart. If Gary is not smart then Harry is not quiet.