Erin is round. Erin is not white. Erin is not young. Furry, young things are not red. If something is white then it is young. Furry, big things are smart. White things are round. Young, big things are round. Furry, smart things are not white.
Erin is not smart.
@0: Erin is not white.[(triple2)] Erin is not young.[(triple3)] Erin is round.[(triple1)]