Anne is green. Charlie is red. Gary is big. If someone is red and big then they are cold. If someone is green and big then they are white. If Anne is big and Anne is nice then Anne is green. If Charlie is white then Charlie is cold. All white people are big. All cold, rough people are red. If someone is green and rough then they are cold. All cold, red people are green.
Gary is nice.
@0: Anne is green.[(triple1)] Charlie is red.[(triple2)] Gary is big.[(triple3)]