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