Charlie is blue. Dave is kind. Dave is red. Dave is round. Dave is not young. Fiona is not blue. Fiona is cold. Fiona is not red. Fiona is round. Fiona is not young. If something is red and not kind then it is not quiet. If something is cold and not young then it is not quiet.
Charlie is not kind.
@0: Charlie is blue.[(triple1)] Dave is kind.[(triple2)] Dave is not young.[(triple5)] Dave is red.[(triple3)] Dave is round.[(triple4)] Fiona is cold.[(triple7)] Fiona is not blue.[(triple6)] Fiona is not red.[(triple8)] Fiona is not young.[(triple10)] Fiona is round.[(triple9)] @1: Fiona is not quiet.[(((triple7 triple10) -> rule2))]