Anne is big. Anne is cold. Anne is red. Bob is big. Bob is green. Bob is nice. Bob is red. Erin is big. Erin is green. Erin is nice. Gary is big. Gary is nice. Gary is red. Gary is rough. Gary is round. If Bob is green and Bob is round then Bob is big. Green things are red. If something is red then it is green. Cold, red things are big. If something is cold and nice then it is green. If Bob is green then Bob is cold. If Erin is round and Erin is rough then Erin is nice. If something is green and red then it is round.
Bob is rough.