Bob is big. Bob is green. Bob is red. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Fiona is big. Fiona is nice. Fiona is red. Fiona is rough. Gary is quiet. All rough people are quiet. If someone is quiet then they are big. If Gary is nice then Gary is green. If someone is rough and nice then they are big. All red people are nice. If someone is smart and nice then they are red. Green people are rough. If someone is big then they are red. Green people are red.
Fiona is not smart.