Anne is not green. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Charlie is not kind. Charlie is nice. Charlie is quiet. Dave is kind. Gary is green. If Dave is nice and Dave is not kind then Dave is not green. If someone is smart then they are nice. Smart people are cold.
Gary is not green.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not green.[(triple1)] Anne is quiet.[(triple4)] Anne is white.[(triple5)] Charlie is nice.[(triple7)] Charlie is not kind.[(triple6)] Charlie is quiet.[(triple8)] Dave is kind.[(triple9)] Gary is green.[(triple10)]