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