Bob is big. Bob is red. Bob is rough. Bob is round. Bob is smart. Charlie is rough. Charlie is round. Dave is red. Dave is smart. Fiona is rough. Fiona is round. Fiona is smart. If someone is big then they are smart. If someone is red then they are rough. All rough, furry people are big. If someone is smart then they are rough. All rough people are furry. All round people are smart.
Fiona is not big.