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