Bob is green. Charlie is furry. Erin is cold. Green people are kind. Rough, green people are furry. If someone is kind then they are quiet. Rough, round people are kind. All cold people are kind. Quiet people are green.
Bob is not quiet.
@0: Bob is green.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3)] @1: Bob is kind.[(((triple1) -> rule1))] Erin is kind.[(((triple3) -> rule5))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule3))] Erin is quiet.[(((((triple3) -> rule5)) -> rule3))] @3: Erin is green.[(((((((triple3) -> rule5)) -> rule3)) -> rule6))]