Dave is furry. Fiona is big. Gary is kind. Quiet people are furry. All kind people are round.
Gary is quiet.
@0: Dave is furry.[(triple1)] Fiona is big.[(triple2)] Gary is kind.[(triple3)] @1: Gary is round.[(((triple3) -> rule2))]