Anne is nice. Anne is rough. Erin is smart. Erin is white. Fiona is round. Gary is red. Gary is rough. Rough things are nice. If something is white then it is smart. If something is smart then it is kind. If something is round then it is white. If something is red then it is round. If Anne is rough then Anne is red. If Erin is not round then Erin is white.
Erin is not red.