Bob is young. Fiona is young. Gary is cold. Kind, young people are nice. If someone is cold then they are not nice. All blue, smart people are not young. All nice people are not young. All young people are not cold. If someone is nice and not blue then they are cold. If Gary is smart and Gary is cold then Gary is kind. All smart, cold people are green.
Bob is not young.
@0: Bob is young.[(triple1)] Fiona is young.[(triple2)] Gary is cold.[(triple3)] @1: Bob is not cold.[(((triple1) -> rule5))] Fiona is not cold.[(((triple2) -> rule5))] Gary is not nice.[(((triple3) -> rule2))]