Bob is not blue. Bob is not green. Bob is quiet. Erin is cold. Erin is nice. Erin is not quiet. Erin is young. Gary is not cold. Gary is kind. Gary is young. If someone is young and not green then they are blue.
Bob is cold.
@0: Bob is not blue.[(triple1)] Bob is not green.[(triple2)] Bob is quiet.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is young.[(triple7)] Gary is kind.[(triple9)] Gary is not cold.[(triple8)] Gary is young.[(triple10)]