Anne is nice. Anne is smart. Dave is round. Dave is young. Erin is nice. Erin is round. Erin is smart. Erin is young. Fiona is not nice. Fiona is white. If someone is young and not nice then they are smart. If Fiona is nice then Fiona is not quiet. If someone is round and not smart then they are white.
Dave is blue.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Dave is round.[(triple3)] Dave is young.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Fiona is not nice.[(triple9)] Fiona is white.[(triple10)]