Dave is red. Erin is red. Fiona is nice. Gary is green. Nice, quiet people are red. All green people are quiet. If Gary is big and Gary is nice then Gary is quiet.
Dave is red.
@0: Dave is red.[(triple1)] Erin is red.[(triple2)] Fiona is nice.[(triple3)] Gary is green.[(triple4)] @1: Gary is quiet.[(((triple4) -> rule2))]