Erin is kind. Fiona is young. Gary is blue. Harry is smart. If something is young then it is cold.
Harry is not cold.
@0: Erin is kind.[(triple1)] Fiona is young.[(triple2)] Gary is blue.[(triple3)] Harry is smart.[(triple4)] @1: Fiona is cold.[(((triple2) -> rule1))]