Anne is cold. Anne is quiet. Anne is red. Dave is cold. Dave is red. Dave is rough. Dave is white. Fiona is cold. Gary is green. Gary is rough. If Fiona is blue and Fiona is white then Fiona is quiet. Green, red people are blue. If someone is red and rough then they are white.
Fiona is not blue.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Dave is cold.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple5 triple6) -> rule3))] Fiona is cold.[(triple8)] Gary is green.[(triple9)] Gary is rough.[(triple10)]