Bob is green. Charlie is green. Fiona is nice. All red things are round. Nice things are blue. All red, big things are white.
Charlie is green.
@0: Bob is green.[(triple1)] Charlie is green.[(triple2)] Fiona is nice.[(triple3)] @1: Fiona is blue.[(((triple3) -> rule2))]