Bob is cold. Charlie is nice. Fiona is kind. Gary is smart. All cold things are nice. If Gary is quiet and Gary is nice then Gary is round. If Gary is smart and Gary is young then Gary is quiet.
Charlie is cold.
@0: Bob is cold.[(triple1)] Charlie is nice.[(triple2)] Fiona is kind.[(triple3)] Gary is smart.[(triple4)] @1: Bob is nice.[(((triple1) -> rule1))]