Dave is nice. Dave is quiet. Erin is kind. Erin is nice. Erin is quiet. Fiona is cold. Fiona is nice. Fiona is round. Harry is cold. Harry is round. All green things are kind. All nice, green things are cold.
Erin is not cold.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is quiet.[(triple5)] Fiona is cold.[(triple6)] Fiona is nice.[(triple7)] Fiona is round.[(triple8)] Harry is cold.[(triple9)] Harry is round.[(triple10)]