Anne is big. Anne is blue. Anne is green. Bob is blue. Bob is green. Bob is nice. Bob is rough. Bob is round. Bob is smart. Charlie is big. Charlie is nice. Charlie is round. Harry is big. Harry is blue. Harry is rough. If Anne is big and Anne is blue then Anne is rough.
Charlie is not smart.