Bob is quiet. Dave is blue. Fiona is white. Gary is white. If Gary is white and Gary is quiet then Gary is nice. If something is quiet and round then it is young. If something is blue then it is round.
Fiona is white.
@0: Bob is quiet.[(triple1)] Dave is blue.[(triple2)] Fiona is white.[(triple3)] Gary is white.[(triple4)] @1: Dave is round.[(((triple2) -> rule3))]