Bob is green. Bob is nice. Bob is quiet. Dave is big. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Gary is big. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Rough, big things are smart. If something is quiet and big then it is furry. If Bob is big then Bob is rough. If something is rough then it is quiet. Nice things are big. Big things are quiet.
Bob is smart.