Bob is cold. Erin is not rough. Fiona is kind. Fiona is quiet. Gary is quiet. Gary is rough. Gary is smart. If someone is smart then they are not young. All blue, kind people are not young. If someone is blue then they are not rough. Young, rough people are blue. If someone is smart and not kind then they are quiet. If someone is rough and not quiet then they are not cold.
Fiona is not blue.
@0: Bob is cold.[(triple1)] Erin is not rough.[(triple2)] Fiona is kind.[(triple3)] Fiona is quiet.[(triple4)] Gary is quiet.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] @1: Gary is not young.[(((triple7) -> rule1))]