Charlie is nice. Gary is nice. If Charlie is smart and Charlie is nice then Charlie is green. If Gary is young and Gary is rough then Gary is big. All green, nice things are cold. All nice, green things are young. If Charlie is nice and Charlie is green then Charlie is young. All cold things are nice. All green things are smart. If something is smart and rough then it is nice.
Gary is nice.
@0: Charlie is nice.[(triple1)] Gary is nice.[(triple2)]