Bob is not blue. Bob is not green. Erin is blue. Erin is kind. Fiona is cold. Fiona is green. Fiona is young. Gary is green. Gary is red. Gary is not young. If Bob is young then Bob is not blue. If Gary is cold then Gary is red. If something is green and not blue then it is red.
Fiona is cold.
@0: Bob is not blue.[(triple1)] Bob is not green.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is young.[(triple7)] Gary is green.[(triple8)] Gary is not young.[(triple10)] Gary is red.[(triple9)]