Dave is white. Fiona is red. Gary is rough. If something is white and red then it is young. All rough, young things are not quiet. If something is young and not red then it is not quiet. If Fiona is quiet then Fiona is nice. All quiet things are kind. If Dave is quiet then Dave is not rough. If something is red then it is nice. If something is white and not kind then it is nice.
Dave is not kind.
@0: Dave is white.[(triple1)] Fiona is red.[(triple2)] Gary is rough.[(triple3)] @1: Fiona is nice.[(((triple2) -> rule7))]