Dave is blue. Dave is quiet. Erin is young. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is young. Gary is big. Gary is nice. Gary is round. All quiet people are green.
Dave is round.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Erin is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] @1: Dave is green.[(((triple2) -> rule1))] Fiona is green.[(((triple5) -> rule1))]