Erin is round. Gary is cold. Gary is quiet. All kind, round people are quiet. Green people are nice. If someone is round then they are furry.
Erin is round.
@0: Erin is round.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is furry.[(((triple1) -> rule3))]