Anne is green. Anne is red. Bob is big. Bob is green. Charlie is big. Fiona is big. Fiona is green. All red, rough people are big. Rough people are big. All big people are smart. Rough people are smart. If someone is green then they are blue. If Fiona is nice then Fiona is green. Green people are blue. If someone is red then they are rough.
Bob is not big.