Charlie is smart. Fiona is not big. Fiona is rough. Gary is not big. Gary is not blue. Gary is green. Gary is smart. Big, red people are not smart. If someone is blue and not rough then they are big. If Charlie is not rough then Charlie is not big. If someone is green and not rough then they are not young. If someone is big and not rough then they are green. If someone is young and not big then they are not green.
Gary is green.
@0: Charlie is smart.[(triple1)] Fiona is not big.[(triple2)] Fiona is rough.[(triple3)] Gary is green.[(triple6)] Gary is not big.[(triple4)] Gary is not blue.[(triple5)] Gary is smart.[(triple7)]