Anne is furry. Anne is green. Anne is not nice. Anne is rough. Bob is nice. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is smart. Harry is nice. If something is big then it is rough. Smart, nice things are big. Big things are furry. If something is big and not nice then it is furry. All furry things are big. If something is nice then it is furry. All rough things are green. Rough, green things are smart. If something is not smart then it is big.
Bob is smart.