Erin is not cold. Fiona is young. Gary is blue. All nice people are green. If Gary is not green then Gary is not kind. Green people are kind. If someone is white then they are kind. If Erin is kind and Erin is blue then Erin is not green. If someone is green then they are young. If someone is young then they are not white. Kind people are white.
Gary is not blue.
@0: Erin is not cold.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] @1: Fiona is not white.[(((triple2) -> rule7))]