Bob is smart. Dave is big. Dave is smart. Dave is young. Fiona is blue. Fiona is cold. Fiona is quiet. Quiet, young people are blue. If Fiona is big then Fiona is white.
Fiona is not blue.
@0: Bob is smart.[(triple1)] Dave is big.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is quiet.[(triple7)]