Anne is green. Anne is not kind. Bob is green. Bob is nice. Gary is green. Gary is young. Harry is not kind. All young, rough things are not nice. If something is young and kind then it is nice. If something is rough and not kind then it is blue. Kind things are blue. If Bob is green and Bob is not young then Bob is not big. All nice, young things are green. If something is nice and not green then it is not big. If Gary is big and Gary is rough then Gary is blue.
Anne is rough.
@0: Anne is green.[(triple1)] Anne is not kind.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Gary is green.[(triple5)] Gary is young.[(triple6)] Harry is not kind.[(triple7)]