Bob is not white. Erin is cold. Erin is green. Erin is kind. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Gary is not cold. Gary is white. Gary is young. If Fiona is white then Fiona is not cold. If Bob is white and Bob is quiet then Bob is smart. If Gary is not green then Gary is not kind. If Erin is not kind then Erin is white. If someone is smart and quiet then they are young. If someone is white and quiet then they are young. If someone is quiet and not white then they are not young. If someone is smart and not young then they are not cold.
Gary is not white.
@0: Bob is not white.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9)] Gary is not cold.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Fiona is young.[(((triple9 triple8) -> rule5))]