Anne is red. Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is round. Gary is kind. Gary is nice. Gary is red. Harry is nice. Red things are round. If something is kind then it is rough. Round, kind things are red. If something is round and red then it is green. Kind things are nice. If Bob is kind and Bob is big then Bob is round. All red, round things are green. All green, round things are kind. If something is rough then it is big.
Harry is not big.