context: Anne is not big. Bob is not furry. If Gary is not smart then Harry is not quiet. 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 Anne is big or Bob is furry then Bob is not white.