Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Dave is blue. Dave is furry. Dave is quiet. Dave is red. Gary is cold. Gary is rough. Harry is blue. Harry is furry. Harry is quiet. Harry is rough. If someone is young and not cold then they are not red.
Dave is young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Gary is cold.[(triple10)] Gary is rough.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)]