Anne is furry. Dave is red. Erin is red. Fiona is big. If someone is smart and not red then they are young. If someone is white then they are big. If Anne is not furry then Anne is green.
Dave is not red.
@0: Anne is furry.[(triple1)] Dave is red.[(triple2)] Erin is red.[(triple3)] Fiona is big.[(triple4)]