Charlie is not big. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is red. Charlie is white. Fiona is not cold. Fiona is red. Fiona is white. Gary is not big. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is young. If someone is big and not furry then they are not young. If someone is young and big then they are not red.
Fiona is red.
@0: Charlie is cold.[(triple2)] Charlie is green.[(triple4)] Charlie is not big.[(triple1)] Charlie is not furry.[(triple3)] Charlie is red.[(triple5)] Charlie is white.[(triple6)] Fiona is not cold.[(triple7)] Fiona is red.[(triple8)] Fiona is white.[(triple9)] Gary is cold.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13)] Gary is not big.[(triple10)] Gary is red.[(triple14)] Gary is young.[(triple15)]