Dave is blue. Dave is cold. Dave is green. Erin is cold. Erin is round. Gary is green. Harry is big. Harry is blue. Harry is cold. Harry is kind. If something is big and green then it is blue.
Erin is not cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Erin is cold.[(triple4)] Erin is round.[(triple5)] Gary is green.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is kind.[(triple10)]