Charlie is green. Gary is not green. If someone is big then they are green. Green, quiet people are smart. If Gary is quiet then Gary is not nice. All smart, big people are quiet. All smart people are cold. If Charlie is quiet then Charlie is cold.
Gary is green.
@0: Charlie is green.[(triple1)] Gary is not green.[(triple2)]