Erin is smart. Gary is green. If Gary is round then Gary is not young. All young, round things are not white. All young things are not kind. If Erin is round and Erin is not kind then Erin is not smart. If something is young and not white then it is not green. All young things are not smart. Red things are smart. If something is green and not young then it is smart.
Gary is not smart.
@0: Erin is smart.[(triple1)] Gary is green.[(triple2)]