Dave is red. Fiona is nice. Harry is white. If someone is white and blue then they are not smart. Quiet people are smart. Red, nice people are not blue. All nice people are not blue. If Dave is nice then Dave is quiet. Blue people are red. All red, quiet people are nice. Smart, nice people are not quiet.
Harry is not white.
@0: Dave is red.[(triple1)] Fiona is nice.[(triple2)] Harry is white.[(triple3)] @1: Fiona is not blue.[(((triple2) -> rule4))]