Anne is furry. Anne is not nice. Anne is not white. Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Fiona is furry. Fiona is smart. White people are furry. If someone is not big then they are smart. Nice people are blue. If Fiona is blue then Fiona is not smart. If someone is nice and not white then they are red. If Anne is smart and Anne is not white then Anne is red. If someone is smart and not white then they are red. All blue, furry people are smart.
Fiona is big.