Fiona is young. Gary is blue. If someone is rough and blue then they are not young. All green people are not young. If someone is kind and not blue then they are not young. If someone is blue then they are young. All rough people are not green. All young people are kind. If someone is kind then they are nice. All blue people are not cold.
Gary is rough.
@0: Fiona is young.[(triple1)] Gary is blue.[(triple2)] @1: Fiona is kind.[(((triple1) -> rule6))] Gary is not cold.[(((triple2) -> rule8))] Gary is young.[(((triple2) -> rule4))] @2: Fiona is nice.[(((((triple1) -> rule6)) -> rule7))] Gary is kind.[(((((triple2) -> rule4)) -> rule6))] @3: Gary is nice.[(((((((triple2) -> rule4)) -> rule6)) -> rule7))]