Charlie is cold. Charlie is not kind. Charlie is young. Dave is cold. Dave is not furry. Dave is not kind. Dave is quiet. Dave is rough. Dave is young. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is not young. Gary is not kind. Gary is quiet. Gary is rough. If Dave is red and Dave is rough then Dave is cold.
Gary is not quiet.
@0: Charlie is cold.[(triple1)] Charlie is not kind.[(triple2)] Charlie is young.[(triple3)] Dave is cold.[(triple4)] Dave is not furry.[(triple5)] Dave is not kind.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is not young.[(triple13)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12)] Gary is not kind.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)]