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 not round.
@0: Erin is round.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Erin is furry.[(((triple1) -> rule3))]