Anne is kind. Anne is nice. Anne is quiet. Anne is red. Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is red. Gary is green. Gary is red. Gary is rough. If something is nice and rough then it is kind. Nice things are rough. All big things are rough. All big things are nice. If something is green and big then it is rough. If Bob is quiet then Bob is red.
Anne is not big.