Bob is quiet. Bob is rough. Erin is smart. Fiona is big. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If something is rough then it is young. If Bob is kind then Bob is big. All rough things are smart. If something is big then it is quiet. If something is kind and not big then it is rough. If something is not smart then it is rough. If something is quiet and not young then it is not green. If something is not young then it is quiet.
Bob is not big.