Bob is cold. Bob is green. Bob is red. Charlie is quiet. Fiona is young. Gary is quiet. Gary is round. If something is quiet then it is green. Quiet, young things are blue.
Fiona is not blue.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Charlie is quiet.[(triple4)] Fiona is young.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)] @1: Charlie is green.[(((triple4) -> rule1))] Gary is green.[(((triple6) -> rule1))]