Anne is big. Anne is green. Anne is nice. Bob is big. Bob is nice. Bob is young. Erin is green. Erin is smart. Erin is white. Fiona is green. All green people are rough. If someone is young and rough then they are nice. If someone is white then they are green. If Erin is green and Erin is nice then Erin is smart. If someone is white and rough then they are young. All rough people are smart. All rough people are smart. Rough people are big.
Bob is white.