Dave is nice. Dave is quiet. Fiona is not blue. Fiona is quiet. Fiona is round. Fiona is not white. Gary is kind. All round, nice people are green. All white people are not blue. If someone is white then they are quiet. All round, blue people are nice. If someone is white and not blue then they are kind. If Dave is not quiet and Dave is not round then Dave is green.
Dave is quiet.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Fiona is not blue.[(triple3)] Fiona is not white.[(triple6)] Fiona is quiet.[(triple4)] Fiona is round.[(triple5)] Gary is kind.[(triple7)]