Dave is nice. Fiona is quiet. Gary is red. If Dave is not young then Dave is nice. If someone is rough and not smart then they are nice. Red people are quiet. If someone is red and not quiet then they are white. All young, quiet people are not white. If someone is rough and not young then they are white.
Gary is red.
@0: Dave is nice.[(triple1)] Fiona is quiet.[(triple2)] Gary is red.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule3))]