Erin is quiet. Erin is round. Erin is white. All quiet people are green. If someone is red then they are white. Furry, red people are green.
Erin is not furry.
@0: Erin is quiet.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] @1: Erin is green.[(((triple1) -> rule1))]