Anne is smart. Bob is white. Fiona is nice. Gary is furry. If something is nice and smart then it is white.
Fiona is red.
@0: Anne is smart.[(triple1)] Bob is white.[(triple2)] Fiona is nice.[(triple3)] Gary is furry.[(triple4)]