Bob is not cold. Charlie is white. Fiona is round. Gary is nice. White people are young. If someone is nice and cold then they are young. Red people are nice.
Bob is round.
@0: Bob is not cold.[(triple1)] Charlie is white.[(triple2)] Fiona is round.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is young.[(((triple2) -> rule1))]