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 white.
@0: Erin is quiet.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] @1: Erin is green.[(((triple1) -> rule1))]