Charlie is young. Dave is rough. Fiona is not smart. Gary is red. Gary is rough. Gary is smart. Gary is young. Green people are rough. If someone is young then they are not nice. If Fiona is rough then Fiona is smart. If Charlie is nice then Charlie is smart. If Fiona is not young then Fiona is not red. If someone is nice then they are quiet. If someone is smart and not rough then they are green. If someone is green and not quiet then they are not young.
Fiona is not smart.