Anne is quiet. Dave is big. Dave is cold. Dave is quiet. Dave is round. Fiona is round. Gary is smart. All smart, kind people are blue.
Fiona is not blue.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] Dave is quiet.[(triple4)] Dave is round.[(triple5)] Fiona is round.[(triple6)] Gary is smart.[(triple7)]