Anne is white. Bob is quiet. Fiona is cold. Gary is quiet. Rough, quiet people are round. If someone is cold and rough then they are blue. If someone is cold then they are red. If Fiona is cold then Fiona is blue. If someone is quiet and round then they are rough. All quiet, red people are rough.
Gary is not quiet.
@0: Anne is white.[(triple1)] Bob is quiet.[(triple2)] Fiona is cold.[(triple3)] Gary is quiet.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule4))] Fiona is red.[(((triple3) -> rule3))]