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