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