Bob is nice. Dave is red. Fiona is green. Gary is round. Red things are green. All smart things are quiet.
Fiona is green.
@0: Bob is nice.[(triple1)] Dave is red.[(triple2)] Fiona is green.[(triple3)] Gary is round.[(triple4)] @1: Dave is green.[(((triple2) -> rule1))]